Repository containing the benchmark experiments for the MiniZinc Bytecode compiler
at develop 3 lines 152 B view raw
1"problem","model","data_file" 2"freepizza","freepizza/freepizza.mzn","freepizza/pizza39.dzn" 3"freepizza","freepizza/freepizza.mzn","freepizza/pizza6.dzn"