dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general /
at develop 90 files
anon_var_flatten.mzn
array_string_gen.mzn
assert_bad_1.mzn
assert_bad_2.mzn
assert_good.mzn
bin_pack_multiobj.mzn
builtins_arg_max.mzn
builtins_debug.mzn
iffall_bv.mzn
json_ignore.json
json_ignore.mzc.mzn
json_ignore.mzn
md_exists.mzn
md_forall.mzn
md_iffall.mzn
md_product_int.mzn
md_sum_float.mzn
md_sum_int.mzn
md_xorall.mzn
mortgage.mzn
mzn-implicit1.mzn
mzn-implicit2.mzn
mzn-implicit3.mzn
mzn-implicit4.mzn
mzn-implicit5.mzn
mzn-implicit6.mzn
mzn-implicit7.mzn
mzn-implicit8.mzn
mzn_div.mzn
mzn_mod.mzn
test-search1.mzn
test_array1.mzn
test_array1and2d.mzn
test_array1d_bad_1.mzn
test_array1d_bad_2.mzn
test_array1d_bad_3.mzn
test_array1d_bad_4.mzn
test_array2.mzn
test_array_as_generator.mzn
test_bad_array_size-bad.mzn
test_bad_lb_ub_dom-bad.mzn
test_bool_var_array_access.mzn
test_concat1.mzn
test_concat2.mzn
test_concat3.mzn
test_is_fixed.mzn
test_join1.mzn
test_join2.mzn
test_join3.mzn
test_lb_ub_array_int.mzn
test_lb_ub_dom_int.mzn
test_lb_ub_float.mzn
test_let_complex.mzn
test_let_par_array.mzn
test_let_simple.mzn
test_let_var_array.mzn
test_let_with_annotation.mzn
test_min_var_array.mzn
test_negated_and.mzn
test_negated_and_or.mzn
test_negated_let_bad.mzn
test_negated_let_good.mzn
test_negated_let_good_2.mzn
test_negated_or.mzn
test_par_set_element.mzn
test_par_set_id_array_index_sets.mzn
test_queens.mzn
test_reified_element_constraint.mzn
test_reified_let_bad.mzn
test_reified_let_good.mzn
test_same.mzn
test_set_inequality_par.mzn
test_set_lt_1.mzn
test_set_lt_2.mzn
test_set_lt_3.mzn
test_string_array_var.mzn
test_string_cmp.mzn
test_string_var.mzn
test_string_with_quote.mzn
test_times_int_float_eq.mzn
test_times_int_float_eq__defaultopt.mzn
test_to_enum.mzn
test_var_array.mzn
test_var_array_access.mzn
test_var_prod.mzn
test_var_set_assignment.mzn
test_var_set_element.mzn
unicode_file_name_μ.mzn
wolfgoatetc.mzn
xorall_bv.mzn