diff --git a/globals_used.md b/globals_used.md new file mode 100644 index 0000000..6a7f824 --- /dev/null +++ b/globals_used.md @@ -0,0 +1,28 @@ +# 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