dekker.one / on-restart-benchmarks
This repository has no description
Star
Fork 0
Watch
on-restart-benchmarks software mza tests examples
141 files
2DPacking.exp2
2DPacking.exp3
2DPacking.mzn
alpha.exp2
alpha.mzn
battleships_1.exp2
battleships_1.mzn
battleships_2.exp2
battleships_2.exp3
battleships_2.mzn
battleships_3.exp2
battleships_3.mzn
battleships_4.exp2
battleships_4.mzn
battleships_5.exp2
battleships_5.mzn
battleships_7.exp3
battleships_7.exp4
battleships_7.mzn
battleships_9.exp2
battleships_9.mzn
battleships.mzn.model
battleships10.exp2
battleships10.mzn
blocksworld_instance_1.exp2
blocksworld_instance_1.mzn
blocksworld_instance_2.exp2
blocksworld_instance_2.mzn
blocksworld.model
cutstock.exp8
cutstock.exp9
cutstock.mzn
eq20.exp2
eq20.mzn
factory_planning_instance.exp8
factory_planning_instance.exp9
factory_planning_instance.mzn
golomb.exp2
golomb.mzn
halfreif.exp2
halfreif.mzn
jobshop2x2.exp2
jobshop2x2.mzn
knights.exp4
knights.mzn
langford.exp2
langford.mzn
langford2.exp6
langford2.mzn
latin_squares_fd.exp2
latin_squares_fd.exp3
latin_squares_fd.mzn
magicsq_3.exp2
magicsq_3.exp3
magicsq_3.exp8
magicsq_3.exp9
magicsq_3.mzn
magicsq_4.exp2
magicsq_4.exp3
magicsq_4.exp6
magicsq_4.mzn
magicsq_5.exp11
magicsq_5.exp12
magicsq_5.exp13
magicsq_5.exp2
magicsq_5.mzn
magicsq.mzn.model
multidimknapsack_simple.exp2
multidimknapsack_simple.mzn
oss.exp2
oss.exp3
oss.exp4
oss.mzn
packing.exp2
packing.mzn
perfsq.exp2
perfsq.mzn
perfsq2.exp2
perfsq2.mzn
photo.exp10
photo.exp2
photo.mzn
product_fd.exp2
product_fd.mzn
product_lp.exp2
product_lp.mzn
quasigroup_qg5.exp2
quasigroup_qg5.mzn
queen_cp2.exp2
queen_cp2.exp3
queen_cp2.exp4
queen_cp2.mzn
queen_ip.exp2
queen_ip.exp3
queen_ip.mzn
radiation.exp2
radiation.mzn
simple_sat.exp2
simple_sat.mzn
singHoist2.exp2
singHoist2.mzn
steiner-triples.exp10
steiner-triples.exp11
steiner-triples.exp12
steiner-triples.mzn
sudoku.exp2
sudoku.mzn
template_design.exp
template_design.mzn
tenpenki_1.exp2
tenpenki_1.mzn
tenpenki_2.exp6
tenpenki_2.mzn
tenpenki_3.exp2
tenpenki_3.mzn
tenpenki_4.exp2
tenpenki_4.mzn
tenpenki_5.exp2
tenpenki_5.mzn
tenpenki_6.exp2
tenpenki_6.mzn
tenpenki.mzn.model
timetabling.exp14
timetabling.exp15
timetabling.exp2
timetabling.mzn
trucking.exp2
trucking.exp7
trucking.mzn
warehouses.exp3
warehouses.mzn
wolf_goat_cabbage.exp22
wolf_goat_cabbage.exp23
wolf_goat_cabbage.exp24
wolf_goat_cabbage.exp25
wolf_goat_cabbage.exp26
wolf_goat_cabbage.exp27
wolf_goat_cabbage.exp28
wolf_goat_cabbage.mzn
zebra.exp2
zebra.mzn