dekker.one
The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper
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