dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / search /
at develop 14 files
int_choice_1.mzn
int_choice_2.mzn
int_choice_6.mzn
int_var_select_1.mzn
int_var_select_2.mzn
int_var_select_3.mzn
int_var_select_4.mzn
int_var_select_6.mzn
test-ff1.mzn
test-ff2.mzn
test-ff3.mzn
test-large1.mzn
test-med1.mzn
test-small1.mzn