120 lines
5.2 KiB
Plaintext
120 lines
5.2 KiB
Plaintext
bin/fzn-jacop
|
|
%%JAVAJARDIR%%/jacop-%%VERSION%%.jar
|
|
share/minizinc/jacop/GCC.mzn
|
|
share/minizinc/jacop/all_distinct.mzn
|
|
share/minizinc/jacop/among_var.mzn
|
|
share/minizinc/jacop/channel.mzn
|
|
share/minizinc/jacop/diff2.mzn
|
|
share/minizinc/jacop/fzn_all_different_int.mzn
|
|
share/minizinc/jacop/fzn_all_equal_int.mzn
|
|
share/minizinc/jacop/fzn_all_equal_int_reif.mzn
|
|
share/minizinc/jacop/fzn_alldifferent_except_0.mzn
|
|
share/minizinc/jacop/fzn_among.mzn
|
|
share/minizinc/jacop/fzn_among_reif.mzn
|
|
share/minizinc/jacop/fzn_arg_max_bool.mzn
|
|
share/minizinc/jacop/fzn_arg_max_int.mzn
|
|
share/minizinc/jacop/fzn_arg_min_bool.mzn
|
|
share/minizinc/jacop/fzn_arg_min_int.mzn
|
|
share/minizinc/jacop/fzn_at_least_int.mzn
|
|
share/minizinc/jacop/fzn_at_least_int_reif.mzn
|
|
share/minizinc/jacop/fzn_at_most_int.mzn
|
|
share/minizinc/jacop/fzn_at_most_int_reif.mzn
|
|
share/minizinc/jacop/fzn_bin_packing.mzn
|
|
share/minizinc/jacop/fzn_bin_packing_capa.mzn
|
|
share/minizinc/jacop/fzn_bin_packing_load.mzn
|
|
share/minizinc/jacop/fzn_circuit.mzn
|
|
share/minizinc/jacop/fzn_count_eq.mzn
|
|
share/minizinc/jacop/fzn_count_eq_par.mzn
|
|
share/minizinc/jacop/fzn_count_eq_par_reif.mzn
|
|
share/minizinc/jacop/fzn_count_eq_reif.mzn
|
|
share/minizinc/jacop/fzn_count_geq_par.mzn
|
|
share/minizinc/jacop/fzn_count_geq_par_reif.mzn
|
|
share/minizinc/jacop/fzn_count_gt_par.mzn
|
|
share/minizinc/jacop/fzn_count_gt_par_reif.mzn
|
|
share/minizinc/jacop/fzn_count_leq_par.mzn
|
|
share/minizinc/jacop/fzn_count_leq_par_reif.mzn
|
|
share/minizinc/jacop/fzn_count_lt_par.mzn
|
|
share/minizinc/jacop/fzn_count_lt_par_reif.mzn
|
|
share/minizinc/jacop/fzn_cumulative.mzn
|
|
share/minizinc/jacop/fzn_cumulative_opt.mzn
|
|
share/minizinc/jacop/fzn_decreasing_bool.mzn
|
|
share/minizinc/jacop/fzn_decreasing_int.mzn
|
|
share/minizinc/jacop/fzn_diffn.mzn
|
|
share/minizinc/jacop/fzn_diffn_nonstrict.mzn
|
|
share/minizinc/jacop/fzn_disjoint.mzn
|
|
share/minizinc/jacop/fzn_disjunctive.mzn
|
|
share/minizinc/jacop/fzn_disjunctive_strict.mzn
|
|
share/minizinc/jacop/fzn_disjunctive_strict_opt.mzn
|
|
share/minizinc/jacop/fzn_distribute.mzn
|
|
share/minizinc/jacop/fzn_exactly_int.mzn
|
|
share/minizinc/jacop/fzn_geost.mzn
|
|
share/minizinc/jacop/fzn_geost_bb.mzn
|
|
share/minizinc/jacop/fzn_global_cardinality.mzn
|
|
share/minizinc/jacop/fzn_global_cardinality_closed.mzn
|
|
share/minizinc/jacop/fzn_global_cardinality_low_up.mzn
|
|
share/minizinc/jacop/fzn_global_cardinality_low_up_closed.mzn
|
|
share/minizinc/jacop/fzn_if_then_else_bool.mzn
|
|
share/minizinc/jacop/fzn_if_then_else_float.mzn
|
|
share/minizinc/jacop/fzn_if_then_else_int.mzn
|
|
share/minizinc/jacop/fzn_if_then_else_set.mzn
|
|
share/minizinc/jacop/fzn_if_then_else_var_bool.mzn
|
|
share/minizinc/jacop/fzn_if_then_else_var_float.mzn
|
|
share/minizinc/jacop/fzn_if_then_else_var_int.mzn
|
|
share/minizinc/jacop/fzn_if_then_else_var_set.mzn
|
|
share/minizinc/jacop/fzn_increasing_bool.mzn
|
|
share/minizinc/jacop/fzn_increasing_int.mzn
|
|
share/minizinc/jacop/fzn_int_set_channel.mzn
|
|
share/minizinc/jacop/fzn_inverse.mzn
|
|
share/minizinc/jacop/fzn_knapsack.mzn
|
|
share/minizinc/jacop/fzn_lex_less_bool.mzn
|
|
share/minizinc/jacop/fzn_lex_less_int.mzn
|
|
share/minizinc/jacop/fzn_lex_lesseq_bool.mzn
|
|
share/minizinc/jacop/fzn_lex_lesseq_int.mzn
|
|
share/minizinc/jacop/fzn_link_set_to_booleans.mzn
|
|
share/minizinc/jacop/fzn_member_bool.mzn
|
|
share/minizinc/jacop/fzn_member_bool_reif.mzn
|
|
share/minizinc/jacop/fzn_member_int.mzn
|
|
share/minizinc/jacop/fzn_member_int_reif.mzn
|
|
share/minizinc/jacop/fzn_network_flow.mzn
|
|
share/minizinc/jacop/fzn_network_flow_cost.mzn
|
|
share/minizinc/jacop/fzn_nvalue.mzn
|
|
share/minizinc/jacop/fzn_nvalue_reif.mzn
|
|
share/minizinc/jacop/fzn_partition_set.mzn
|
|
share/minizinc/jacop/fzn_regular.mzn
|
|
share/minizinc/jacop/fzn_seq_precede_chain_int.mzn
|
|
share/minizinc/jacop/fzn_strictly_decreasing_bool.mzn
|
|
share/minizinc/jacop/fzn_strictly_decreasing_int.mzn
|
|
share/minizinc/jacop/fzn_strictly_increasing_bool.mzn
|
|
share/minizinc/jacop/fzn_strictly_increasing_int.mzn
|
|
share/minizinc/jacop/fzn_subcircuit.mzn
|
|
share/minizinc/jacop/fzn_table_bool.mzn
|
|
share/minizinc/jacop/fzn_table_int.mzn
|
|
share/minizinc/jacop/fzn_value_precede_chain_int.mzn
|
|
share/minizinc/jacop/fzn_value_precede_int.mzn
|
|
share/minizinc/jacop/graph/clique.mzn
|
|
share/minizinc/jacop/graph/digraph_match.mzn
|
|
share/minizinc/jacop/graph/fzn_clique.mzn
|
|
share/minizinc/jacop/graph/fzn_clique_decomposed.mzn
|
|
share/minizinc/jacop/graph/fzn_digraph_match.mzn
|
|
share/minizinc/jacop/graph/fzn_digraph_match_decomposed.mzn
|
|
share/minizinc/jacop/graph/fzn_graph_isomorphism.mzn
|
|
share/minizinc/jacop/graph/fzn_graph_isomorphism_decomposed.mzn
|
|
share/minizinc/jacop/graph/fzn_graph_match.mzn
|
|
share/minizinc/jacop/graph/fzn_graph_match_decomposed.mzn
|
|
share/minizinc/jacop/graph/fzn_sub_digraph_match.mzn
|
|
share/minizinc/jacop/graph/fzn_sub_digraph_match_decomposed.mzn
|
|
share/minizinc/jacop/graph/fzn_sub_graph_match.mzn
|
|
share/minizinc/jacop/graph/fzn_sub_graph_match_decomposed.mzn
|
|
share/minizinc/jacop/graph/graph_isomorphism.mzn
|
|
share/minizinc/jacop/graph/graph_match.mzn
|
|
share/minizinc/jacop/graph/sub_digraph_match.mzn
|
|
share/minizinc/jacop/graph/sub_graph_match.mzn
|
|
share/minizinc/jacop/jacop.mzn
|
|
share/minizinc/jacop/redefinitions-2.0.mzn
|
|
share/minizinc/jacop/redefinitions-2.7.1.mzn
|
|
share/minizinc/jacop/redefinitions.mzn
|
|
share/minizinc/jacop/soft_all_different_int.mzn
|
|
share/minizinc/jacop/soft_global_cardinality_int.mzn
|
|
share/minizinc/jacop/stretch.mzn
|
|
share/minizinc/solvers/org.jacop.msc
|