dekker.one / half-reif-benchmarks
This repository has no description
Star
Fork 0
Watch
half-reif-benchmarks software minizinc tests spec examples
57 files
2DPacking.mzn
alpha.mzn
battleships_1.mzn
battleships_2.mzn
battleships_3.mzn
battleships_4.mzn
battleships_5.mzn
battleships_7.mzn
battleships_9.mzn
battleships.mzn.model
battleships10.mzn
blocksworld_instance_1.mzn
blocksworld_instance_2.mzn
blocksworld.model
cutstock.mzn
eq20.mzn
factory_planning_instance.mzn
golomb.mzn
halfreif.mzn
jobshop2x2.mzn
knights.mzn
langford.mzn
langford2.mzn
latin_squares_fd.mzn
magicsq_3.mzn
magicsq_4.mzn
magicsq_5.mzn
magicsq.mzn.model
multidimknapsack_simple.mzn
oss.mzn
packing.mzn
perfsq.mzn
perfsq2.mzn
photo.mzn
product_fd.mzn
product_lp.mzn
quasigroup_qg5.mzn
queen_cp2.mzn
queen_ip.mzn
radiation.mzn
simple_sat.mzn
singHoist2.mzn
steiner-triples.mzn
sudoku.mzn
template_design.mzn
tenpenki_1.mzn
tenpenki_2.mzn
tenpenki_3.mzn
tenpenki_4.mzn
tenpenki_5.mzn
tenpenki_6.mzn
tenpenki.mzn.model
timetabling.mzn
trucking.mzn
warehouses.mzn
wolf_goat_cabbage.mzn
zebra.mzn