dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / std /
at develop 469 files
all_different.mzn
all_different_int.mzn
all_different_set.mzn
all_disjoint.mzn
all_equal.mzn
all_equal_int.mzn
all_equal_set.mzn
alldifferent.mzn
alldifferent_except_0.mzn
alternative.mzn
among.mzn
among_fn.mzn
analyse_all_different.mzn
arg_max.mzn
arg_max_bool.mzn
arg_max_float.mzn
arg_max_int.mzn
arg_min.mzn
arg_min_bool.mzn
arg_min_float.mzn
arg_min_int.mzn
arg_sort.mzn
arg_sort_float.mzn
arg_sort_int.mzn
at_least.mzn
at_least_int.mzn
at_least_set.mzn
at_most.mzn
at_most1.mzn
at_most_int.mzn
at_most_set.mzn
atleast.mzn
atmost.mzn
atmost1.mzn
bin_packing.mzn
bin_packing_capa.mzn
bin_packing_load.mzn
bin_packing_load_fn.mzn
bounded_path.mzn
builtins.mzn
circuit.mzn
comparison_rel_array.mzn
connected.mzn
cost_mdd.mzn
cost_regular.mzn
count.mzn
count_eq.mzn
count_fn.mzn
count_geq.mzn
count_gt.mzn
count_leq.mzn
count_lt.mzn
count_neq.mzn
cumulative.mzn
cumulative_opt.mzn
dag.mzn
decreasing.mzn
decreasing_bool.mzn
decreasing_float.mzn
decreasing_int.mzn
decreasing_set.mzn
diffn.mzn
diffn_k.mzn
diffn_nonstrict.mzn
diffn_nonstrict_k.mzn
disjoint.mzn
disjunctive.mzn
disjunctive_opt.mzn
disjunctive_strict.mzn
disjunctive_strict_opt.mzn
distribute.mzn
distribute_fn.mzn
element.mzn
element_bool.mzn
element_float.mzn
element_int.mzn
element_set.mzn
exactly.mzn
exactly_int.mzn
exactly_set.mzn
flatzinc_builtins.mzn
fzn_all_different_int.mzn
fzn_all_different_int_reif.mzn
fzn_all_different_set.mzn
fzn_all_different_set_reif.mzn
fzn_all_disjoint.mzn
fzn_all_disjoint_reif.mzn
fzn_all_equal_int.mzn
fzn_all_equal_int_reif.mzn
fzn_all_equal_set.mzn
fzn_all_equal_set_reif.mzn
fzn_alldifferent_except_0.mzn
fzn_alldifferent_except_0_reif.mzn
fzn_alternative.mzn
fzn_alternative_reif.mzn
fzn_among.mzn
fzn_among_reif.mzn
fzn_arg_max_bool.mzn
fzn_arg_max_float.mzn
fzn_arg_max_int.mzn
fzn_arg_min_bool.mzn
fzn_arg_min_float.mzn
fzn_arg_min_int.mzn
fzn_arg_sort_float.mzn
fzn_arg_sort_float_reif.mzn
fzn_arg_sort_int.mzn
fzn_arg_sort_int_reif.mzn
fzn_at_least_int.mzn
fzn_at_least_int_reif.mzn
fzn_at_least_set.mzn
fzn_at_least_set_reif.mzn
fzn_at_most1.mzn
fzn_at_most1_reif.mzn
fzn_at_most_int.mzn
fzn_at_most_int_reif.mzn
fzn_at_most_set.mzn
fzn_at_most_set_reif.mzn
fzn_bin_packing.mzn
fzn_bin_packing_capa.mzn
fzn_bin_packing_capa_reif.mzn
fzn_bin_packing_load.mzn
fzn_bin_packing_load_reif.mzn
fzn_bin_packing_reif.mzn
fzn_bounded_dpath_enum.mzn
fzn_bounded_dpath_enum_reif.mzn
fzn_bounded_dpath_int.mzn
fzn_bounded_dpath_int_reif.mzn
fzn_bounded_path_enum.mzn
fzn_bounded_path_enum_reif.mzn
fzn_bounded_path_int.mzn
fzn_bounded_path_int_reif.mzn
fzn_circuit.mzn
fzn_circuit_reif.mzn
fzn_connected.mzn
fzn_connected_reif.mzn
fzn_cost_mdd.mzn
fzn_cost_mdd_reif.mzn
fzn_cost_regular.mzn
fzn_cost_regular_reif.mzn
fzn_count_eq.mzn
fzn_count_eq_reif.mzn
fzn_count_geq.mzn
fzn_count_gt.mzn
fzn_count_leq.mzn
fzn_count_lt.mzn
fzn_count_neq.mzn
fzn_cumulative.mzn
fzn_cumulative_opt.mzn
fzn_cumulative_opt_reif.mzn
fzn_cumulative_reif.mzn
fzn_dag.mzn
fzn_dag_reif.mzn
fzn_dconnected.mzn
fzn_dconnected_reif.mzn
fzn_decreasing_bool.mzn
fzn_decreasing_bool_reif.mzn
fzn_decreasing_float.mzn
fzn_decreasing_float_reif.mzn
fzn_decreasing_int.mzn
fzn_decreasing_int_reif.mzn
fzn_decreasing_set.mzn
fzn_decreasing_set_reif.mzn
fzn_diffn.mzn
fzn_diffn_k.mzn
fzn_diffn_k_reif.mzn
fzn_diffn_nonstrict.mzn
fzn_diffn_nonstrict_k.mzn
fzn_diffn_nonstrict_k_reif.mzn
fzn_diffn_nonstrict_reif.mzn
fzn_diffn_reif.mzn
fzn_disjoint.mzn
fzn_disjoint_reif.mzn
fzn_disjunctive.mzn
fzn_disjunctive_opt.mzn
fzn_disjunctive_opt_reif.mzn
fzn_disjunctive_reif.mzn
fzn_disjunctive_strict.mzn
fzn_disjunctive_strict_opt.mzn
fzn_disjunctive_strict_opt_reif.mzn
fzn_disjunctive_strict_reif.mzn
fzn_distribute.mzn
fzn_distribute_reif.mzn
fzn_dpath_enum.mzn
fzn_dpath_enum_reif.mzn
fzn_dpath_int.mzn
fzn_dpath_int_reif.mzn
fzn_dreachable_enum.mzn
fzn_dreachable_enum_reif.mzn
fzn_dreachable_int.mzn
fzn_dreachable_int_reif.mzn
fzn_dsteiner.mzn
fzn_dsteiner_reif.mzn
fzn_dtree_enum.mzn
fzn_dtree_enum_reif.mzn
fzn_dtree_int.mzn
fzn_dtree_int_reif.mzn
fzn_dwst.mzn
fzn_dwst_reif.mzn
fzn_exactly_int.mzn
fzn_exactly_int_reif.mzn
fzn_exactly_set.mzn
fzn_exactly_set_reif.mzn
fzn_geost.mzn
fzn_geost_bb.mzn
fzn_geost_bb_reif.mzn
fzn_geost_nonoverlap_k.mzn
fzn_geost_nonoverlap_k_reif.mzn
fzn_geost_reif.mzn
fzn_geost_smallest_bb.mzn
fzn_geost_smallest_bb_reif.mzn
fzn_global_cardinality.mzn
fzn_global_cardinality_closed.mzn
fzn_global_cardinality_closed_reif.mzn
fzn_global_cardinality_low_up.mzn
fzn_global_cardinality_low_up_closed.mzn
fzn_global_cardinality_low_up_closed_reif.mzn
fzn_global_cardinality_low_up_reif.mzn
fzn_global_cardinality_reif.mzn
fzn_if_then_else_bool.mzn
fzn_if_then_else_float.mzn
fzn_if_then_else_int.mzn
fzn_if_then_else_opt_bool.mzn
fzn_if_then_else_opt_int.mzn
fzn_if_then_else_partiality.mzn
fzn_if_then_else_set.mzn
fzn_if_then_else_var_bool.mzn
fzn_if_then_else_var_float.mzn
fzn_if_then_else_var_int.mzn
fzn_if_then_else_var_opt_bool.mzn
fzn_if_then_else_var_opt_int.mzn
fzn_if_then_else_var_set.mzn
fzn_increasing_bool.mzn
fzn_increasing_bool_reif.mzn
fzn_increasing_float.mzn
fzn_increasing_float_reif.mzn
fzn_increasing_int.mzn
fzn_increasing_int_reif.mzn
fzn_increasing_set.mzn
fzn_increasing_set_reif.mzn
fzn_int_set_channel.mzn
fzn_int_set_channel_reif.mzn
fzn_inverse.mzn
fzn_inverse_reif.mzn
fzn_inverse_set.mzn
fzn_inverse_set_reif.mzn
fzn_knapsack.mzn
fzn_knapsack_reif.mzn
fzn_lex2.mzn
fzn_lex2_reif.mzn
fzn_lex_less_bool.mzn
fzn_lex_less_bool_reif.mzn
fzn_lex_less_float.mzn
fzn_lex_less_float_reif.mzn
fzn_lex_less_int.mzn
fzn_lex_less_int_reif.mzn
fzn_lex_less_set.mzn
fzn_lex_less_set_reif.mzn
fzn_lex_lesseq_bool.mzn
fzn_lex_lesseq_bool_reif.mzn
fzn_lex_lesseq_float.mzn
fzn_lex_lesseq_float_reif.mzn
fzn_lex_lesseq_int.mzn
fzn_lex_lesseq_int_reif.mzn
fzn_lex_lesseq_set.mzn
fzn_lex_lesseq_set_reif.mzn
fzn_link_set_to_booleans.mzn
fzn_link_set_to_booleans_reif.mzn
fzn_mdd.mzn
fzn_mdd_nondet.mzn
fzn_mdd_nondet_reif.mzn
fzn_mdd_reif.mzn
fzn_member_bool.mzn
fzn_member_bool_reif.mzn
fzn_member_float.mzn
fzn_member_float_reif.mzn
fzn_member_int.mzn
fzn_member_int_reif.mzn
fzn_member_set.mzn
fzn_member_set_reif.mzn
fzn_network_flow.mzn
fzn_network_flow_cost.mzn
fzn_network_flow_cost_reif.mzn
fzn_network_flow_reif.mzn
fzn_neural_net.mzn
fzn_neural_net_reif.mzn
fzn_nvalue.mzn
fzn_nvalue_reif.mzn
fzn_partition_set.mzn
fzn_partition_set_reif.mzn
fzn_path_enum.mzn
fzn_path_enum_reif.mzn
fzn_path_int.mzn
fzn_path_int_reif.mzn
fzn_piecewise_linear.mzn
fzn_piecewise_linear_reif.mzn
fzn_range.mzn
fzn_range_reif.mzn
fzn_reachable_enum.mzn
fzn_reachable_enum_reif.mzn
fzn_reachable_int.mzn
fzn_reachable_int_reif.mzn
fzn_regular.mzn
fzn_regular_nfa.mzn
fzn_regular_nfa_reif.mzn
fzn_regular_nfa_set.mzn
fzn_regular_nfa_set_reif.mzn
fzn_regular_regexp.mzn
fzn_regular_reif.mzn
fzn_regular_set.mzn
fzn_regular_set_reif.mzn
fzn_roots.mzn
fzn_roots_reif.mzn
fzn_seq_precede_chain_int.mzn
fzn_seq_precede_chain_int_reif.mzn
fzn_seq_precede_chain_set.mzn
fzn_seq_precede_chain_set_reif.mzn
fzn_set_member.mzn
fzn_set_member_reif.mzn
fzn_sliding_sum.mzn
fzn_sliding_sum_reif.mzn
fzn_sort.mzn
fzn_sort_reif.mzn
fzn_span.mzn
fzn_span_reif.mzn
fzn_steiner.mzn
fzn_steiner_reif.mzn
fzn_strict_lex2.mzn
fzn_strict_lex2_reif.mzn
fzn_strictly_decreasing_bool.mzn
fzn_strictly_decreasing_bool_reif.mzn
fzn_strictly_decreasing_int.mzn
fzn_strictly_decreasing_int_reif.mzn
fzn_strictly_increasing_bool.mzn
fzn_strictly_increasing_bool_reif.mzn
fzn_strictly_increasing_int.mzn
fzn_strictly_increasing_int_reif.mzn
fzn_subcircuit.mzn
fzn_subcircuit_reif.mzn
fzn_subgraph_enum.mzn
fzn_subgraph_enum_reif.mzn
fzn_subgraph_int.mzn
fzn_subgraph_int_reif.mzn
fzn_sum_pred.mzn
fzn_sum_pred_reif.mzn
fzn_sum_set.mzn
fzn_sum_set_reif.mzn
fzn_symmetric_all_different.mzn
fzn_symmetric_all_different_reif.mzn
fzn_table_bool.mzn
fzn_table_bool_reif.mzn
fzn_table_int.mzn
fzn_table_int_reif.mzn
fzn_transitive_closure.mzn
fzn_tree_enum.mzn
fzn_tree_enum_reif.mzn
fzn_tree_int.mzn
fzn_tree_int_reif.mzn
fzn_value_precede_chain_int.mzn
fzn_value_precede_chain_int_reif.mzn
fzn_value_precede_chain_set.mzn
fzn_value_precede_chain_set_reif.mzn
fzn_value_precede_int.mzn
fzn_value_precede_int_reif.mzn
fzn_value_precede_set.mzn
fzn_value_precede_set_reif.mzn
fzn_write.mzn
fzn_write_reif.mzn
fzn_writes.mzn
fzn_writes_reif.mzn
fzn_writes_seq.mzn
fzn_writes_seq_reif.mzn
fzn_wst.mzn
fzn_wst_reif.mzn
geost.mzn
global_cardinality.mzn
global_cardinality_closed.mzn
global_cardinality_closed_fn.mzn
global_cardinality_fn.mzn
global_cardinality_low_up.mzn
global_cardinality_low_up_closed.mzn
globals.mzn
increasing.mzn
increasing_bool.mzn
increasing_float.mzn
increasing_int.mzn
increasing_set.mzn
int_set_channel.mzn
inverse.mzn
inverse_fn.mzn
inverse_set.mzn
knapsack.mzn
lex2.mzn
lex_greater.mzn
lex_greatereq.mzn
lex_less.mzn
lex_less_bool.mzn
lex_less_float.mzn
lex_less_int.mzn
lex_less_set.mzn
lex_lesseq.mzn
lex_lesseq_bool.mzn
lex_lesseq_float.mzn
lex_lesseq_int.mzn
lex_lesseq_set.mzn
link_set_to_booleans.mzn
maximum.mzn
mdd.mzn
mdd_nondet.mzn
member.mzn
member_bool.mzn
member_float.mzn
member_int.mzn
member_set.mzn
minimum.mzn
mznasm_builtins.mzn
mzncc_builtins.mzn
network_flow.mzn
neural_net.mzn
nosets.mzn
nvalue.mzn
nvalue_fn.mzn
partition_set.mzn
path.mzn
piecewise_linear.mzn
range.mzn
range_fn.mzn
reachable.mzn
redefinitions-2.0.2.mzn
redefinitions-2.0.mzn
redefinitions-2.1.1.mzn
redefinitions-2.1.mzn
redefinitions-2.2.1.mzn
redefinitions.mzn
regular.mzn
regular_nfa.mzn
regular_regexp.mzn
regular_set.mzn
roots.mzn
roots_fn.mzn
seq_precede_chain.mzn
set_member.mzn
sliding_sum.mzn
sort.mzn
sort_fn.mzn
span.mzn
stdlib.mzn
steiner.mzn
strict_lex2.mzn
strictly_decreasing.mzn
strictly_increasing.mzn
subcircuit.mzn
subgraph.mzn
sum_pred.mzn
sum_set.mzn
symmetric_all_different.mzn
table.mzn
table_bool.mzn
table_int.mzn
tree.mzn
value_precede.mzn
value_precede_chain.mzn
value_precede_chain_int.mzn
value_precede_chain_set.mzn
value_precede_int.mzn
value_precede_set.mzn
weighted_spanning_tree.mzn
write.mzn
writes.mzn
writes_seq.mzn