Dekker1/half-reif-benchmarks
Archived
1
0
Fork 0
Code

Add list of globals used in the MiniZinc challenges

Browse Source
This commit is contained in:
Jip J. Dekker 2021-02-17 10:19:13 +11:00
parent 0fb92bf5ff
commit b140dba4a1
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
1 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
globals_used.md Normal file
View File

@ -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