From b140dba4a1c0ab0ddb35da4eb19f97a5e3d8ac31 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Wed, 17 Feb 2021 10:19:13 +1100
Subject: [PATCH] Add list of globals used in the MiniZinc challenges

---
 globals_used.md | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 globals_used.md

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