Symmetry declarations for MiniZinc. - Nathaniel Baxter; Geoffrey Chu; Peter J. Stuckey (ACSW, 2016)