dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression /
at develop 132 files
abs_bug.mzn
absent_id_crash.mzn
arg-reif-array-float.mzn
arg-reif-array-int.mzn
arg-reif-float.mzn
arg-reif-int-set.mzn
arg-reif-int.mzn
array_set_element_nosets.mzn
array_var_set_element_nosets.mzn
assign_reverse_map.mzn
big_array_lit.mzn
bizarre.mzn
bool2float_let.mzn
bug109.mzn
bug110.mzn
bug131.mzn
bug141.mzn
bug202.mzn
bug212.mzn
bug222.mzn
bug244.mzn
bug256.mzn
bug256b.mzn
bug258.dzn
bug259.mzn
bug269.mzn
bug282.mzn
bug283.mzn
bug284.mzn
bug287.mzn
bug290_orig.mzn
bug290_simple.mzn
bug312.mzn
bug318_orig.mzn
bug335.mzn
bug337.mzn
bug337_mod.mzn
bug341.mzn
bug347.mzn
bug380.mzn
bug45.mzn
bug52.mzn
bug67.mzn
bug68b.mzn
bug69_1.mzn
bug69_2.mzn
bug69_3.mzn
bug69_4.mzn
bug70.mzn
bug71_1.mzn
bug71_2.mzn
bug82.mzn
bug85.mzn
bug_08.mzn
bug_r7995.mzn
card_flatten_lb.mzn
cardinality_atmost_partition.mzn
change_partition.mzn
checker_var_bug.mzc.mzn
checker_var_bug.mzn
coerce_set_to_array_1.mzn
coerce_set_to_array_2.mzn
comprehension_where.mzn
decision_tree_binary.mzn
empty-array1d.mzn
enigma_1568.mzn
error_in_comprehension.mzn
flat_cv_call.mzn
flat_cv_let.mzn
flat_set_lit.mzn
flatten_comp_in.mzn
flatten_comp_in2.mzn
flipstrip_simple.mzn
float_div_crash.mzn
float_mod_crash.mzn
float_opt_crash.mzn
follow_id_absent_crash.mzn
hundred_doors_unoptimized.mzn
int_times.mzn
is_fixed.mzn
is_fixed_comp.mzn
linear_bool_elem_bug.mzn
makepar_output.mzn
nested_clause.mzn
no_macro.mzn
non-set-array-ti-location.mzn
nosets_369.mzn
opt_noncontiguous_domain.mzn
opt_removed_items.mzn
output_only_fn.mzn
output_only_fn.ozn
output_only_no_rhs.mzn
overloading.mzn
par_opt_equal.mzn
parse_assignments.mzc.mzn
parse_assignments.mzn
parser_location.mzn
pred_param_r7550.mzn
round.mzn
seq_search_bug.mzn
set_inequality_par.mzn
string-test-arg.mzn
subsets_100.mzn
test_bool2int.mzn
test_bug218.mzn
test_bug218_inc.mzn
test_bug359.mzn
test_bug45.mzn
test_bug53.mzn
test_bug54.mzn
test_bug55.mzn
test_bug57.mzn
test_bug65.mzn
test_bug66.mzn
test_bug67.mzn
test_bug70.mzn
test_bug71.mzn
test_bug72.mzn
test_bug_129.mzn
test_github_30.mzn
test_multioutput.mzn
test_not_in.mzn
test_output_array_of_set.mzn
test_output_string_var.mzn
test_parout.mzn
test_slice_1d_array.mzn
ti_error_location.mzn
ts_bug.mzn
var_opt_unconstrained.mzn
var_self_assign_bug.mzn
where-forall-bug.mzn
xor_mixed_context.mzn