33 lines
1 KiB
Text
33 lines
1 KiB
Text
bin/fzn-chuffed
|
|
%%DATADIR%%/chuffed.mzn
|
|
%%DATADIR%%/edit_distance.mzn
|
|
%%DATADIR%%/fzn_all_different_int.mzn
|
|
%%DATADIR%%/fzn_arg_max_bool.mzn
|
|
%%DATADIR%%/fzn_circuit.mzn
|
|
%%DATADIR%%/fzn_cost_regular.mzn
|
|
%%DATADIR%%/fzn_count_eq.mzn
|
|
%%DATADIR%%/fzn_count_eq_par.mzn
|
|
%%DATADIR%%/fzn_count_geq.mzn
|
|
%%DATADIR%%/fzn_count_geq_par.mzn
|
|
%%DATADIR%%/fzn_count_gt.mzn
|
|
%%DATADIR%%/fzn_count_gt_par.mzn
|
|
%%DATADIR%%/fzn_count_leq.mzn
|
|
%%DATADIR%%/fzn_count_leq_par.mzn
|
|
%%DATADIR%%/fzn_count_lt.mzn
|
|
%%DATADIR%%/fzn_count_lt_par.mzn
|
|
%%DATADIR%%/fzn_cumulative.mzn
|
|
%%DATADIR%%/fzn_disjunctive.mzn
|
|
%%DATADIR%%/fzn_disjunctive_strict.mzn
|
|
%%DATADIR%%/fzn_distribute.mzn
|
|
%%DATADIR%%/fzn_global_cardinality_low_up.mzn
|
|
%%DATADIR%%/fzn_inverse.mzn
|
|
%%DATADIR%%/fzn_nvalue.mzn
|
|
%%DATADIR%%/fzn_regular.mzn
|
|
%%DATADIR%%/fzn_subcircuit.mzn
|
|
%%DATADIR%%/fzn_table_int.mzn
|
|
%%DATADIR%%/redefinitions.mzn
|
|
%%DATADIR%%/values_interchange.mzn
|
|
%%DATADIR%%/values_sequences.mzn
|
|
%%DATADIR%%/variables_interchange.mzn
|
|
%%DATADIR%%/variables_sequences.mzn
|
|
share/minizinc/solvers/chuffed.msc
|