dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / functional-test /
at develop 15 files
ack.ml
ack.mzn
ack.py
ack_edited.uzn
fib.byte
fib.ml
fib.mzn
fib.py
fib_edited.uzn
tak.byte
tak.ml
tak.mzn
tak.py
tak_edited.uzn
time.sh