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 / software / minizinc / solvers / geas /
at develop 3 files
geas_constraints.cpp
geas_solverfactory.cpp
geas_solverinstance.cpp