A set of benchmarks to compare a new prototype MiniZinc implementation
The knot hosting this repository is unreachable.