Dekker1/half-reif-benchmarks
Archived
1
0
Fork 0
Code
This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.
half-reif-benchmarks/globals_used.md

479 B
Raw Permalink Blame History

Globals in Challenges

Currently running MiniZinc challenge models from 2019 and 2020. They contained the following global constraints

  • all_different
  • all_different_except_0
  • argmax
  • at_least
  • at_most
  • bin_packing
  • bin_packing_load
  • circuit
  • count
  • cumulative
  • decreasing
  • diffn
  • diffn_nonstrict
  • global_cardinality
  • global_cardinality_low_up
  • inverse
  • knapsack
  • lex_greatereq
  • lex_less
  • maximum
  • minimum
  • seq_precede_chain
  • table
  • value_precede_chain