A set of benchmarks to compare a new prototype MiniZinc implementation

Branches