This website requires JavaScript.
Explore
Help
Sign In
Dekker1
/
on-restart-benchmarks
Archived
Watch
1
Star
0
Fork
0
You've already forked on-restart-benchmarks
Code
This repository has been archived on
2025-03-06
. You can view files and clone it, but cannot push or open issues or pull requests.
on-restart-benchmarks
/
software
/
minizinc
/
tests
/
spec
/
unit
/
general
History
Jip J. Dekker
fb797c8876
Merge commit '2c8ad0004aacbd87b80f67970c2da0d051ff8279' into develop
2021-07-12 20:09:34 +10:00
..
anon_var_flatten.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
array_string_gen.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
assert_bad_1.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
assert_bad_2.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
assert_good.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
bin_pack_multiobj.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
builtins_arg_max.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
builtins_debug.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
iffall_bv.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
json_ignore.json
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
json_ignore.mzc.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
json_ignore.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
md_exists.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
md_forall.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
md_iffall.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
md_product_int.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
md_sum_float.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
md_sum_int.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
md_xorall.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mortgage.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mzn_div.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mzn_mod.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mzn-implicit1.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mzn-implicit2.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mzn-implicit3.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mzn-implicit4.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mzn-implicit5.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mzn-implicit6.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mzn-implicit7.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
mzn-implicit8.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_array1.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_array1and2d.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_array1d_bad_1.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_array1d_bad_2.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_array1d_bad_3.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_array1d_bad_4.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_array2.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_array_as_generator.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_bad_array_size-bad.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_bad_lb_ub_dom-bad.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_bool_var_array_access.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_concat1.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_concat2.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_concat3.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_is_fixed.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_join1.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_join2.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_join3.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_lb_ub_array_int.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_lb_ub_dom_int.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_lb_ub_float.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_let_complex.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_let_par_array.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_let_simple.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_let_var_array.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_let_with_annotation.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_min_var_array.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_negated_and_or.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_negated_and.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_negated_let_bad.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_negated_let_good_2.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_negated_let_good.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_negated_or.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_par_set_element.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_par_set_id_array_index_sets.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_queens.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_reified_element_constraint.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_reified_let_bad.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_reified_let_good.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_same.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_set_inequality_par.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_set_lt_1.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_set_lt_2.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_set_lt_3.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_string_array_var.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_string_cmp.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_string_var.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_string_with_quote.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_times_int_float_eq__defaultopt.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_times_int_float_eq.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_to_enum.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_var_array_access.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_var_array.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_var_prod.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_var_set_assignment.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test_var_set_element.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
test-search1.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
unicode_file_name_μ.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
wolfgoatetc.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
xorall_bv.mzn
Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc'
2021-06-16 14:06:46 +10:00
