bytecode-benchmarks/mzn-rewriting/nside/ 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 / nside /

at develop 12 files

EASY_200_50.dzn

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

EASY_200_50.meta

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

HARD_2000_500.dzn

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

HARD_2000_500.meta

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

HARD_200_50.dzn

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

HARD_200_50.meta

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

MEDIUM_1000_100.dzn

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

MEDIUM_1000_100.meta

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

MEDIUM_200_50.dzn

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

MEDIUM_200_50.meta

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

data_transform.mymzn

Add benchmarks + execution scripts for prototype benchmarks

4 years ago

Add benchmarks + execution scripts for prototype benchmarks

4 years ago