dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

bytecode-benchmarks / mzn-rewriting / steelmillslab / bench_17_7.meta
at develop 5 lines 103 B view raw
dekker.one Add benchmarks + execution scripts for prototype benchmarks
a9256a7c
1MODEL=steelmillslab.mzn 2DATA=bench_17_7.dzn 3METHOD=min 4TAGS=challenge2019,steelmillslab 5TIMELIMIT=1200