Minizinc Symmetry Declarations

We propose 6 symmetry predicates for MiniZinc defined below. The default decompositions are linked to the predicate names. For handling multiple symmetry declarations correctly we need to extend the declarations to take into account a global variable order order as follows: The benchmarks used in the paper Symmetries for MiniZinc are given here: