dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / prototype / interfaces / python /
at develop 2 folders 18 files
annotation
predicate
Annotation.h
Changelog.txt
Expression.h
Model.cpp
Model.h
Object.h
Set.cpp
Set.h
Solver.cpp
Solver.h
VarSet.h
global.cpp
global.h
minizinc.py
policy.py
pyinterface.cpp
pyinterface.h
setup.py