search

MiniZinc / minizinc-benchmarks

A suite of MiniZinc benchmarks.
MIT License
82 stars 29 forks source link

Annotated redundant constraints #3

Closed informarte closed 8 years ago

informarte commented 8 years ago

I wrapped redundant constraints with redundant_constraint/1 and symmetry_breaking_constraint/1, respectively, where such an "annotation" was missing.

I considered all constraints with a comment mentioning "symmetry", "symmetric", "symmetries", "redundant", or "implied".

I also added a small script (quickcheck.sh) that, for each problem, tries to compile the smallest instance. (There is a number of problems that do not compile any more, for various reasons.)

informarte commented 8 years ago

I messed up this request, so I closed it and created a new one under the same title.