bytecode-benchmarks/mzn-rewriting/steelmillslab/ at develop · dekker.one/bytecode-benchmarks · tangled

dekker.one / bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / steelmillslab /

at develop 11 files

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

bench_17_7.meta

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

bench_19_6.meta

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

bench_20_15.dzn

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

bench_20_15.meta

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

bench_20_8.meta

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

bench_2_19.meta

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

steelmillslab.mzn

Add benchmarks + execution scripts for prototype benchmarks

4 years ago