dekker.one / half-reif-benchmarks
The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper
fork atom
half-reif-benchmarks / data / mznc2020 /
at develop 20 folders
bnn-planner
cable_tree_wiring
code-generator
collaborative-construction
gbac
hoist-benchmark-for-minizinc
is
lot-sizing
minimal-decision-sets
p1f-pjs
pentominoes
pillars-and-planks
racp
radiation
sdn-chain
skill-allocation
soccer-computational
stable-goods
tower_challenge
whirlpool