dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / linear_scip /
at develop 27 files
README__SCIP.txt
domain_encodings.mzn
fzn_all_different_int.mzn
fzn_alldifferent_except_0.mzn
fzn_circuit.mzn
fzn_cumulative.mzn
fzn_if_then_else_float.mzn
fzn_if_then_else_int.mzn
fzn_inverse.mzn
fzn_lex_less_bool_reif.mzn
fzn_lex_lesseq_bool.mzn
fzn_lex_lesseq_bool_reif.mzn
fzn_regular.mzn
fzn_sliding_sum.mzn
fzn_subcircuit.mzn
fzn_table_int.mzn
options.mzn
redefinitions-2.0.2.mzn
redefinitions-2.0.mzn
redefinitions-2.2.1.mzn
redefinitions.mzn
redefs_bool_imp.mzn
redefs_bool_reifs.mzn
redefs_lin_halfreifs.mzn
redefs_lin_imp.mzn
redefs_lin_reifs.mzn
subcircuit_wDummy.mzn