dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / prototype / include / minizinc / solvers /
at develop 4 folders 9 files
MIP
geas
gecode
nl
fzn_solverfactory.hh
fzn_solverinstance.hh
geas_solverfactory.hh
geas_solverinstance.hh
gecode_solverfactory.hh
gecode_solverinstance.hh
incremental_interfaces.hh
mzn_solverfactory.hh
mzn_solverinstance.hh