A set of benchmarks to compare a new prototype MiniZinc implementation
at develop 66 B view raw
1METHOD=min 2TAGS=model2016,model2017,con_cumulative,con_cumulative