configure
MD5
NEWS.md
NAMESPACE
configure.ac
DESCRIPTION
cleanup.win
configure.win
cleanup
R/RcppExports.R
R/IncludeItem.R
R/AssignItem.R
R/get_missing_pars.R
R/Value.R
R/Expression.R
R/SolveItem.R
R/data.R
R/environ.R
R/CommonMZNProblems.R
R/VarDeclItem.R
R/set_params.R
R/getCollections.R
R/Type.R
R/DeclFunctions.R
R/ConstraintItem.R
R/zzz.R
R/FunctionItem.R
R/Model.R
R/Item.R
R/utils.R
src/mzn_parse.cpp
src/RcppExports.cpp
src/mzn_eval.cpp
src/helper_parse.cpp
src/sol_parse.h
src/sol_parse.cpp
src/Makevars.win.in
src/helper_parse.h
src/Makevars.in
src/config.h.in
inst/doc/R_MiniZinc.html
inst/doc/R_MiniZinc.R
inst/doc/R_MiniZinc.Rmd
inst/extdata/mzn_examples/shipping/shipping.dzn
inst/extdata/mzn_examples/shipping/shipping.mzn
inst/extdata/mzn_examples/aust_color/aust_color.mzn
inst/extdata/mzn_examples/aust_color/nc4.dzn
inst/extdata/mzn_examples/aust_color/aust_colord.mzn
inst/extdata/mzn_examples/knapsack/knapsack_1.dzn
inst/extdata/mzn_examples/knapsack/knapsack_4(set).mzn
inst/extdata/mzn_examples/knapsack/knapsack_1.mzn
inst/extdata/mzn_examples/knapsack/knapsack_0.mzn
inst/extdata/mzn_examples/knapsack/knapsack_0.dzn
inst/extdata/mzn_examples/knapsack/knapsack_2.dzn
inst/extdata/mzn_examples/knapsack/knapsack_3(set_concise).mzn
inst/extdata/mzn_examples/knapsack/knapsack_2(bool).mzn
inst/extdata/mzn_examples/production_planning/prod_plan_0.mzn
inst/extdata/mzn_examples/production_planning/prod_plan_0.dzn
inst/extdata/mzn_examples/Hamiltonian/Hamiltonian.dzn
inst/extdata/mzn_examples/Hamiltonian/Hamiltonian.mzn
inst/extdata/mzn_examples/assign/assign.dzn
inst/extdata/mzn_examples/assign/assign.mzn
inst/extdata/mzn_examples/assign/assign_equal.dzn
inst/extdata/mzn_examples/assign/assign_dual.mzn
inst/extdata/mzn_examples/assign/assign_inverse.mzn
inst/extdata/mzn_examples/liner-sf-repositioning/tp7_12.mzn
inst/extdata/mzn_examples/liner-sf-repositioning/fm3_3.mzn
inst/extdata/mzn_examples/liner-sf-repositioning/tp7_4.mzn
inst/extdata/mzn_examples/liner-sf-repositioning/tp7_2.mzn
inst/extdata/mzn_examples/liner-sf-repositioning/fm3_0.mzn
inst/extdata/mzn_examples/crazy_sets/crazy_sets_global.mzn
inst/extdata/mzn_examples/crazy_sets/crazy_sets.dzn
inst/extdata/mzn_examples/crazy_sets/crazy_sets.mzn
inst/extdata/mzn_examples/jobshop/jobshop_0.mzn
inst/extdata/mzn_examples/jobshop/jobshop_2.mzn
inst/extdata/mzn_examples/jobshop/jobshop.dzn
inst/extdata/mzn_examples/jobshop/jobshop_1.mzn
inst/extdata/mzn_examples/linetsp/ltsp.mzn
inst/extdata/mzn_examples/linetsp/ltsp.dzn
inst/minizinc/Preferences.json
inst/minizinc/solvers/globalizer.msc.in
inst/minizinc/solvers/findmus.msc.in
inst/minizinc/solvers/gecode-gist.msc.in
inst/minizinc/solvers/chuffed.msc.in
inst/minizinc/solvers/gecode.msc.in
inst/minizinc/gecode/fzn_lex_lesseq_int.mzn
inst/minizinc/gecode/fzn_all_equal_int.mzn
inst/minizinc/gecode/fzn_count_eq.mzn
inst/minizinc/gecode/fzn_inverse.mzn
inst/minizinc/gecode/redefinitions-2.0.mzn
inst/minizinc/gecode/fzn_value_precede_set.mzn
inst/minizinc/gecode/fzn_lex_lesseq_bool.mzn
inst/minizinc/gecode/fzn_disjunctive_strict.mzn
inst/minizinc/gecode/fzn_among.mzn
inst/minizinc/gecode/fzn_link_set_to_booleans.mzn
inst/minizinc/gecode/fzn_at_least_set.mzn
inst/minizinc/gecode/fzn_diffn.mzn
inst/minizinc/gecode/fzn_range.mzn
inst/minizinc/gecode/fzn_member_int.mzn
inst/minizinc/gecode/fzn_exactly_set.mzn
inst/minizinc/gecode/fzn_member_bool.mzn
inst/minizinc/gecode/fzn_regular.mzn
inst/minizinc/gecode/fzn_decreasing_bool.mzn
inst/minizinc/gecode/fzn_all_different_int.mzn
inst/minizinc/gecode/fzn_alldifferent_except_0.mzn
inst/minizinc/gecode/fzn_arg_min_int.mzn
inst/minizinc/gecode/fzn_lex_less_int.mzn
inst/minizinc/gecode/fzn_sum_set.mzn
inst/minizinc/gecode/fzn_global_cardinality_low_up_closed.mzn
inst/minizinc/gecode/fzn_table_int_reif.mzn
inst/minizinc/gecode/fzn_global_cardinality_closed.mzn
inst/minizinc/gecode/fzn_circuit.mzn
inst/minizinc/gecode/fzn_count_eq_reif.mzn
inst/minizinc/gecode/fzn_bin_packing_capa.mzn
inst/minizinc/gecode/fzn_bin_packing_load.mzn
inst/minizinc/gecode/fzn_member_int_reif.mzn
inst/minizinc/gecode/fzn_global_cardinality_low_up.mzn
inst/minizinc/gecode/fzn_roots.mzn
inst/minizinc/gecode/fzn_arg_min_bool.mzn
inst/minizinc/gecode/fzn_global_cardinality.mzn
inst/minizinc/gecode/fzn_int_set_channel.mzn
inst/minizinc/gecode/fzn_decreasing_int.mzn
inst/minizinc/gecode/fzn_lex_less_bool.mzn
inst/minizinc/gecode/redefinitions-2.0.2.mzn
inst/minizinc/gecode/fzn_table_bool.mzn
inst/minizinc/gecode/fzn_bin_packing.mzn
inst/minizinc/gecode/fzn_disjoint.mzn
inst/minizinc/gecode/fzn_at_most_set.mzn
inst/minizinc/gecode/fzn_inverse_set.mzn
inst/minizinc/gecode/fzn_table_int.mzn
inst/minizinc/gecode/fzn_increasing_int.mzn
inst/minizinc/gecode/fzn_at_least_int.mzn
inst/minizinc/gecode/fzn_table_bool_reif.mzn
inst/minizinc/gecode/fzn_increasing_bool.mzn
inst/minizinc/gecode/redefinitions-2.5.2.mzn
inst/minizinc/gecode/gecode.mzn
inst/minizinc/gecode/fzn_nvalue.mzn
inst/minizinc/gecode/fzn_at_most_int.mzn
inst/minizinc/gecode/fzn_arg_max_int.mzn
inst/minizinc/gecode/fzn_cumulative.mzn
inst/minizinc/gecode/fzn_value_precede_int.mzn
inst/minizinc/gecode/redefinitions.mzn
inst/minizinc/gecode/fzn_sum_pred.mzn
inst/minizinc/gecode/fzn_sort.mzn
inst/minizinc/gecode/fzn_partition_set.mzn
inst/minizinc/gecode/fzn_member_bool_reif.mzn
inst/minizinc/gecode/fzn_arg_max_bool.mzn
inst/minizinc/std/fzn_subgraph_enum_reif.mzn
inst/minizinc/std/fzn_wst.mzn
inst/minizinc/std/fzn_distribute_reif.mzn
inst/minizinc/std/arg_min_float.mzn
inst/minizinc/std/regular_set.mzn
inst/minizinc/std/fzn_if_then_else_float.mzn
inst/minizinc/std/arg_max_bool.mzn
inst/minizinc/std/fzn_geost_reif.mzn
inst/minizinc/std/fzn_geost_bb_reif.mzn
inst/minizinc/std/fzn_increasing_set.mzn
inst/minizinc/std/fzn_value_precede_int_reif.mzn
inst/minizinc/std/fzn_dag_reif.mzn
inst/minizinc/std/mdd_nondet.mzn
inst/minizinc/std/fzn_neural_net_reif.mzn
inst/minizinc/std/fzn_lex_lesseq_int.mzn
inst/minizinc/std/increasing_set.mzn
inst/minizinc/std/fzn_all_equal_int.mzn
inst/minizinc/std/fzn_regular_set.mzn
inst/minizinc/std/fzn_geost_nonoverlap_k_reif.mzn
inst/minizinc/std/fzn_count_geq_par_reif.mzn
inst/minizinc/std/fzn_subgraph_int.mzn
inst/minizinc/std/sliding_sum.mzn
inst/minizinc/std/fzn_count_neq_reif.mzn
inst/minizinc/std/network_flow.mzn
inst/minizinc/std/fzn_alldifferent_except_0_reif.mzn
inst/minizinc/std/fzn_count_eq.mzn
inst/minizinc/std/fzn_count_gt.mzn
inst/minizinc/std/regular_nfa.mzn
inst/minizinc/std/element.mzn
inst/minizinc/std/fzn_count_geq_par.mzn
inst/minizinc/std/fzn_inverse.mzn
inst/minizinc/std/fzn_if_then_else_int.mzn
inst/minizinc/std/fzn_lex_lesseq_float_reif.mzn
inst/minizinc/std/fzn_network_flow_reif.mzn
inst/minizinc/std/fzn_bounded_path_int.mzn
inst/minizinc/std/lex_chain_less.mzn
inst/minizinc/std/atleast.mzn
inst/minizinc/std/fzn_if_then_else_opt_float.mzn
inst/minizinc/std/fzn_inverse_in_range_reif.mzn
inst/minizinc/std/fzn_all_different_set.mzn
inst/minizinc/std/fzn_writes_seq.mzn
inst/minizinc/std/diffn_nonstrict.mzn
inst/minizinc/std/piecewise_linear_non_continuous.mzn
inst/minizinc/std/fzn_knapsack.mzn
inst/minizinc/std/redefinitions-2.0.mzn
inst/minizinc/std/fzn_strictly_increasing_int_reif.mzn
inst/minizinc/std/fzn_alldifferent_except_reif.mzn
inst/minizinc/std/arg_sort_float.mzn
inst/minizinc/std/fzn_subgraph_enum.mzn
inst/minizinc/std/value_precede_int.mzn
inst/minizinc/std/fzn_disjunctive_strict_opt_reif.mzn
inst/minizinc/std/reachable.mzn
inst/minizinc/std/connected.mzn
inst/minizinc/std/fzn_dwst.mzn
inst/minizinc/std/arg_max_float.mzn
inst/minizinc/std/redefinitions-2.2.1.mzn
inst/minizinc/std/bin_packing_load.mzn
inst/minizinc/std/sort_fn.mzn
inst/minizinc/std/fzn_dreachable_enum.mzn
inst/minizinc/std/fzn_value_precede_set.mzn
inst/minizinc/std/fzn_alternative.mzn
inst/minizinc/std/fzn_at_most_set_reif.mzn
inst/minizinc/std/global_cardinality.mzn
inst/minizinc/std/fzn_lex_lesseq_bool.mzn
inst/minizinc/std/fzn_seq_precede_chain_int_reif.mzn
inst/minizinc/std/fzn_arg_max_float.mzn
inst/minizinc/std/fzn_disjunctive_strict.mzn
inst/minizinc/std/dag.mzn
inst/minizinc/std/fzn_count_gt_par.mzn
inst/minizinc/std/fzn_tree_enum_reif.mzn
inst/minizinc/std/fzn_seq_precede_chain_set_reif.mzn
inst/minizinc/std/regular_regexp.mzn
inst/minizinc/std/fzn_among.mzn
inst/minizinc/std/fzn_symmetric_all_different.mzn
inst/minizinc/std/at_least.mzn
inst/minizinc/std/lex2.mzn
inst/minizinc/std/fzn_network_flow_cost.mzn
inst/minizinc/std/fzn_regular_reif.mzn
inst/minizinc/std/fzn_link_set_to_booleans.mzn
inst/minizinc/std/fzn_all_disjoint_reif.mzn
inst/minizinc/std/geost.mzn
inst/minizinc/std/fzn_mdd_nondet_reif.mzn
inst/minizinc/std/fzn_geost_smallest_bb.mzn
inst/minizinc/std/disjunctive_strict_opt.mzn
inst/minizinc/std/span.mzn
inst/minizinc/std/fzn_lex_chain_less_int_reif.mzn
inst/minizinc/std/fzn_at_least_set.mzn
inst/minizinc/std/diffn.mzn
inst/minizinc/std/at_most_set.mzn
inst/minizinc/std/fzn_diffn.mzn
inst/minizinc/std/fzn_tree_int.mzn
inst/minizinc/std/fzn_strictly_increasing_bool.mzn
inst/minizinc/std/lex_less_bool.mzn
inst/minizinc/std/exactly.mzn
inst/minizinc/std/subgraph.mzn
inst/minizinc/std/lex_lesseq_bool.mzn
inst/minizinc/std/at_least_int.mzn
inst/minizinc/std/fzn_strictly_decreasing_int.mzn
inst/minizinc/std/fzn_count_neq_par_reif.mzn
inst/minizinc/std/fzn_range.mzn
inst/minizinc/std/increasing_int.mzn
inst/minizinc/std/fzn_member_int.mzn
inst/minizinc/std/fzn_exactly_set.mzn
inst/minizinc/std/decreasing_int.mzn
inst/minizinc/std/fzn_inverse_in_range.mzn
inst/minizinc/std/lex2_strict.mzn
inst/minizinc/std/fzn_sum_pred_reif.mzn
inst/minizinc/std/inverse_in_range.mzn
inst/minizinc/std/all_different.mzn
inst/minizinc/std/inverse_fn.mzn
inst/minizinc/std/fzn_count_geq_reif.mzn
inst/minizinc/std/table_int.mzn
inst/minizinc/std/fzn_set_member.mzn
inst/minizinc/std/fzn_arg_sort_int.mzn
inst/minizinc/std/cost_regular.mzn
inst/minizinc/std/fzn_arg_min_float.mzn
inst/minizinc/std/fzn_member_bool.mzn
inst/minizinc/std/fzn_cost_regular.mzn
inst/minizinc/std/fzn_regular.mzn
inst/minizinc/std/fzn_all_equal_set_reif.mzn
inst/minizinc/std/fzn_count_lt.mzn
inst/minizinc/std/fzn_disjoint_reif.mzn
inst/minizinc/std/fzn_network_flow.mzn
inst/minizinc/std/fzn_alternative_reif.mzn
inst/minizinc/std/inverse.mzn
inst/minizinc/std/fzn_if_then_else_var_opt_int.mzn
inst/minizinc/std/table.mzn
inst/minizinc/std/fzn_decreasing_bool.mzn
inst/minizinc/std/minimum.mzn
inst/minizinc/std/fzn_all_different_int.mzn
inst/minizinc/std/fzn_cost_regular_reif.mzn
inst/minizinc/std/fzn_dconnected.mzn
inst/minizinc/std/fzn_path_enum_reif.mzn
inst/minizinc/std/fzn_global_cardinality_low_up_closed_reif.mzn
inst/minizinc/std/inverse_set.mzn
inst/minizinc/std/bounded_path.mzn
inst/minizinc/std/fzn_alldifferent_except_0.mzn
inst/minizinc/std/fzn_if_then_else_var_opt_bool.mzn
inst/minizinc/std/fzn_value_precede_chain_int.mzn
inst/minizinc/std/fzn_decreasing_set.mzn
inst/minizinc/std/fzn_count_neq.mzn
inst/minizinc/std/fzn_inverse_reif.mzn
inst/minizinc/std/fzn_if_then_else_opt_bool.mzn
inst/minizinc/std/fzn_network_flow_cost_reif.mzn
inst/minizinc/std/fzn_value_precede_set_reif.mzn
inst/minizinc/std/fzn_set_member_reif.mzn
inst/minizinc/std/fzn_arg_min_int.mzn
inst/minizinc/std/fzn_if_then_else_set.mzn
inst/minizinc/std/maximum.mzn
inst/minizinc/std/at_most1.mzn
inst/minizinc/std/fzn_writes_seq_reif.mzn
inst/minizinc/std/strict_lex2.mzn
inst/minizinc/std/global_cardinality_closed.mzn
inst/minizinc/std/at_least_set.mzn
inst/minizinc/std/fzn_global_cardinality_closed_reif.mzn
inst/minizinc/std/nvalue.mzn
inst/minizinc/std/fzn_lex_chain_less_int.mzn
inst/minizinc/std/count_geq.mzn
inst/minizinc/std/among_fn.mzn
inst/minizinc/std/fzn_range_reif.mzn
inst/minizinc/std/roots_fn.mzn
inst/minizinc/std/fzn_bounded_dpath_enum.mzn
inst/minizinc/std/fzn_nvalue_reif.mzn
inst/minizinc/std/fzn_geost_bb.mzn
inst/minizinc/std/all_different_set.mzn
inst/minizinc/std/int_set_channel.mzn
inst/minizinc/std/fzn_count_neq_par.mzn
inst/minizinc/std/fzn_sort_reif.mzn
inst/minizinc/std/writes.mzn
inst/minizinc/std/fzn_diffn_k.mzn
inst/minizinc/std/fzn_lex_less_set_reif.mzn
inst/minizinc/std/bin_packing.mzn
inst/minizinc/std/fzn_bounded_path_int_reif.mzn
inst/minizinc/std/fzn_diffn_k_reif.mzn
inst/minizinc/std/fzn_lex_less_int.mzn
inst/minizinc/std/arg_sort_int.mzn
inst/minizinc/std/all_equal_int.mzn
inst/minizinc/std/element_bool.mzn
inst/minizinc/std/fzn_sum_set.mzn
inst/minizinc/std/fzn_disjunctive_strict_reif.mzn
inst/minizinc/std/sum_pred.mzn
inst/minizinc/std/fzn_global_cardinality_low_up_closed.mzn
inst/minizinc/std/fzn_exactly_int_reif.mzn
inst/minizinc/std/fzn_inverse_set_reif.mzn
inst/minizinc/std/fzn_lex_chain_lesseq_int_reif.mzn
inst/minizinc/std/lex_chain_less_int.mzn
inst/minizinc/std/decreasing.mzn
inst/minizinc/std/fzn_table_int_reif.mzn
inst/minizinc/std/fzn_cumulative_reif.mzn
inst/minizinc/std/fzn_value_precede_int_opt.mzn
inst/minizinc/std/lex_chain_greatereq.mzn
inst/minizinc/std/strictly_decreasing.mzn
inst/minizinc/std/fzn_geost_smallest_bb_reif.mzn
inst/minizinc/std/fzn_global_cardinality_closed.mzn
inst/minizinc/std/fzn_cost_mdd.mzn
inst/minizinc/std/fzn_circuit.mzn
inst/minizinc/std/at_most.mzn.deprecated.mzn
inst/minizinc/std/count_lt.mzn
inst/minizinc/std/fzn_count_gt_par_reif.mzn
inst/minizinc/std/count_eq.mzn
inst/minizinc/std/fzn_lex_chain_lesseq_orbitope.mzn
inst/minizinc/std/write.mzn
inst/minizinc/std/member.mzn
inst/minizinc/std/fzn_at_least_int_reif.mzn
inst/minizinc/std/increasing.mzn
inst/minizinc/std/roots.mzn
inst/minizinc/std/fzn_bounded_dpath_int_reif.mzn
inst/minizinc/std/lex_lesseq_float.mzn
inst/minizinc/std/fzn_piecewise_linear_non_continuous_reif.mzn
inst/minizinc/std/fzn_count_eq_reif.mzn
inst/minizinc/std/fzn_sum_set_reif.mzn
inst/minizinc/std/fzn_count_eq_par.mzn
inst/minizinc/std/fzn_diffn_nonstrict_reif.mzn
inst/minizinc/std/fzn_steiner.mzn
inst/minizinc/std/exactly_set.mzn
inst/minizinc/std/fzn_mdd.mzn
inst/minizinc/std/fzn_bin_packing_capa.mzn
inst/minizinc/std/fzn_arg_sort_float.mzn
inst/minizinc/std/lex_lesseq_int.mzn
inst/minizinc/std/fzn_mdd_reif.mzn
inst/minizinc/std/fzn_knapsack_reif.mzn
inst/minizinc/std/fzn_write_reif.mzn
inst/minizinc/std/member_set.mzn
inst/minizinc/std/fzn_increasing_set_reif.mzn
inst/minizinc/std/decreasing_set.mzn
inst/minizinc/std/fzn_bin_packing_load.mzn
inst/minizinc/std/at_least.mzn.deprecated.mzn
inst/minizinc/std/fzn_dtree_int.mzn
inst/minizinc/std/solver_redefinitions.mzn
inst/minizinc/std/fzn_if_then_else_var_int.mzn
inst/minizinc/std/fzn_count_lt_par_reif.mzn
inst/minizinc/std/fzn_dtree_enum_reif.mzn
inst/minizinc/std/fzn_all_different_set_reif.mzn
inst/minizinc/std/arg_min_int.mzn
inst/minizinc/std/fzn_lex2_reif.mzn
inst/minizinc/std/fzn_sliding_sum_reif.mzn
inst/minizinc/std/lex_less_float.mzn
inst/minizinc/std/fzn_lex_chain_lesseq_orbitope_reif.mzn
inst/minizinc/std/cumulative_opt.mzn
inst/minizinc/std/fzn_value_precede_chain_set_reif.mzn
inst/minizinc/std/lex_less_set.mzn
inst/minizinc/std/nvalue_fn.mzn
inst/minizinc/std/partition_set.mzn
inst/minizinc/std/fzn_lex_lesseq_int_reif.mzn
inst/minizinc/std/global_cardinality_low_up.mzn
inst/minizinc/std/fzn_connected_reif.mzn
inst/minizinc/std/fzn_regular_nfa_set_reif.mzn
inst/minizinc/std/fzn_count_eq_par_reif.mzn
inst/minizinc/std/fzn_if_then_else_bool.mzn
inst/minizinc/std/fzn_bin_packing_reif.mzn
inst/minizinc/std/fzn_piecewise_linear.mzn
inst/minizinc/std/fzn_lex_lesseq_set_reif.mzn
inst/minizinc/std/fzn_strict_lex2_reif.mzn
inst/minizinc/std/fzn_table_int_opt.mzn
inst/minizinc/std/lex_chain_less_bool.mzn
inst/minizinc/std/fzn_lex_less_int_reif.mzn
inst/minizinc/std/count_leq.mzn
inst/minizinc/std/fzn_dwst_reif.mzn
inst/minizinc/std/fzn_bin_packing_capa_reif.mzn
inst/minizinc/std/fzn_disjunctive_opt_reif.mzn
inst/minizinc/std/value_precede_chain_int.mzn
inst/minizinc/std/fzn_lex_chain_lesseq_bool_reif.mzn
inst/minizinc/std/neural_net.mzn
inst/minizinc/std/distribute.mzn
inst/minizinc/std/fzn_link_set_to_booleans_reif.mzn
inst/minizinc/std/bin_packing_capa.mzn
inst/minizinc/std/fzn_bounded_dpath_enum_reif.mzn
inst/minizinc/std/fzn_regular_regexp.mzn
inst/minizinc/std/fzn_regular_set_reif.mzn
inst/minizinc/std/fzn_sliding_sum.mzn
inst/minizinc/std/fzn_strictly_increasing_bool_reif.mzn
inst/minizinc/std/fzn_cumulative_opt_reif.mzn
inst/minizinc/std/atmost.mzn
inst/minizinc/std/fzn_alldifferent_except.mzn
inst/minizinc/std/nosets.mzn
inst/minizinc/std/fzn_member_int_reif.mzn
inst/minizinc/std/fzn_distribute.mzn
inst/minizinc/std/fzn_lex_less_float_reif.mzn
inst/minizinc/std/fzn_lex_chain_less_bool_reif.mzn
inst/minizinc/std/fzn_at_most1.mzn
inst/minizinc/std/fzn_increasing_int_reif.mzn
inst/minizinc/std/at_most.mzn
inst/minizinc/std/fzn_seq_precede_chain_set.mzn
inst/minizinc/std/fzn_lex_less_set.mzn
inst/minizinc/std/symmetric_all_different.mzn
inst/minizinc/std/fzn_subcircuit_reif.mzn
inst/minizinc/std/atmost1.mzn
inst/minizinc/std/alldifferent.mzn
inst/minizinc/std/fzn_lex_less_float.mzn
inst/minizinc/std/fzn_lex_chain_lesseq_bool.mzn
inst/minizinc/std/fzn_dtree_enum.mzn
inst/minizinc/std/fzn_diffn_nonstrict_k_reif.mzn
inst/minizinc/std/range_fn.mzn
inst/minizinc/std/fzn_global_cardinality_low_up.mzn
inst/minizinc/std/fzn_decreasing_float_reif.mzn
inst/minizinc/std/lex_chain_greater.mzn
inst/minizinc/std/fzn_bin_packing_load_reif.mzn
inst/minizinc/std/fzn_partition_set_reif.mzn
inst/minizinc/std/lex_lesseq_set.mzn
inst/minizinc/std/fzn_roots.mzn
inst/minizinc/std/set_member.mzn
inst/minizinc/std/writes_seq.mzn
inst/minizinc/std/fzn_all_equal_int_reif.mzn
inst/minizinc/std/fzn_arg_min_bool.mzn
inst/minizinc/std/element_float.mzn
inst/minizinc/std/fzn_global_cardinality.mzn
inst/minizinc/std/fzn_disjunctive_reif.mzn
inst/minizinc/std/disjunctive.mzn
inst/minizinc/std/fzn_geost.mzn
inst/minizinc/std/regular.mzn
inst/minizinc/std/diffn_nonstrict_k.mzn
inst/minizinc/std/member_float.mzn
inst/minizinc/std/fzn_decreasing_int_reif.mzn
inst/minizinc/std/increasing_bool.mzn
inst/minizinc/std/fzn_int_set_channel.mzn
inst/minizinc/std/cost_mdd.mzn
inst/minizinc/std/fzn_if_then_else_var_opt_float.mzn
inst/minizinc/std/all_equal.mzn
inst/minizinc/std/fzn_count_geq.mzn
inst/minizinc/std/cumulative.mzn
inst/minizinc/std/table_bool.mzn
inst/minizinc/std/fzn_subcircuit.mzn
inst/minizinc/std/value_precede_chain_set.mzn
inst/minizinc/std/lex_chain_lesseq.mzn
inst/minizinc/std/fzn_value_precede_chain_int_reif.mzn
inst/minizinc/std/fzn_diffn_nonstrict_k.mzn
inst/minizinc/std/fzn_dreachable_enum_reif.mzn
inst/minizinc/std/fzn_decreasing_float.mzn
inst/minizinc/std/global_cardinality_low_up_closed.mzn
inst/minizinc/std/element_int.mzn
inst/minizinc/std/fzn_decreasing_int.mzn
inst/minizinc/std/fzn_reachable_int_reif.mzn
inst/minizinc/std/fzn_path_enum.mzn
inst/minizinc/std/fzn_decreasing_set_reif.mzn
inst/minizinc/std/fzn_disjunctive.mzn
inst/minizinc/std/fzn_lex_less_bool.mzn
inst/minizinc/std/fzn_all_disjoint.mzn
inst/minizinc/std/fzn_increasing_bool_reif.mzn
inst/minizinc/std/lex_chain_lesseq_orbitope.mzn
inst/minizinc/std/fzn_at_least_set_reif.mzn
inst/minizinc/std/fzn_strictly_decreasing_int_reif.mzn
inst/minizinc/std/fzn_count_leq_par_reif.mzn
inst/minizinc/std/subcircuit.mzn
inst/minizinc/std/fzn_exactly_int.mzn
inst/minizinc/std/fzn_member_set.mzn
inst/minizinc/std/fzn_span_reif.mzn
inst/minizinc/std/globals.mzn
inst/minizinc/std/fzn_dsteiner.mzn
inst/minizinc/std/knapsack.mzn
inst/minizinc/std/fzn_circuit_reif.mzn
inst/minizinc/std/redefinitions-2.0.2.mzn
inst/minizinc/std/all_equal_set.mzn
inst/minizinc/std/fzn_connected.mzn
inst/minizinc/std/fzn_tree_enum.mzn
inst/minizinc/std/fzn_exactly_set_reif.mzn
inst/minizinc/std/at_most_int.mzn
inst/minizinc/std/fzn_dag.mzn
inst/minizinc/std/arg_max_int.mzn
inst/minizinc/std/fzn_strictly_decreasing_bool_reif.mzn
inst/minizinc/std/fzn_table_bool.mzn
inst/minizinc/std/fzn_wst_reif.mzn
inst/minizinc/std/sum_set.mzn
inst/minizinc/std/fzn_member_float.mzn
inst/minizinc/std/value_precede_set.mzn
inst/minizinc/std/fzn_writes_reif.mzn
inst/minizinc/std/fzn_bin_packing.mzn
inst/minizinc/std/fzn_transitive_closure.mzn
inst/minizinc/std/fzn_regular_nfa_set.mzn
inst/minizinc/std/fzn_strictly_increasing_int_opt.mzn
inst/minizinc/std/fzn_tree_int_reif.mzn
inst/minizinc/std/fzn_dreachable_int.mzn
inst/minizinc/std/mdd.mzn
inst/minizinc/std/fzn_dsteiner_reif.mzn
inst/minizinc/std/all_different_int.mzn
inst/minizinc/std/disjunctive_opt.mzn
inst/minizinc/std/fzn_disjoint.mzn
inst/minizinc/std/arg_max.mzn
inst/minizinc/std/fzn_write.mzn
inst/minizinc/std/tree.mzn
inst/minizinc/std/fzn_at_most_set.mzn
inst/minizinc/std/fzn_dpath_enum.mzn
inst/minizinc/std/fzn_inverse_set.mzn
inst/minizinc/std/all_disjoint.mzn
inst/minizinc/std/fzn_table_int.mzn
inst/minizinc/std/fzn_increasing_int.mzn
inst/minizinc/std/fzn_if_then_else_var_set.mzn
inst/minizinc/std/fzn_geost_nonoverlap_k.mzn
inst/minizinc/std/fzn_lex_chain_less_bool.mzn
inst/minizinc/std/fzn_dreachable_int_reif.mzn
inst/minizinc/std/lex_lesseq.mzn
inst/minizinc/std/lex_less_int.mzn
inst/minizinc/std/fzn_arg_sort_float_reif.mzn
inst/minizinc/std/fzn_at_least_int.mzn
inst/minizinc/std/fzn_table_bool_reif.mzn
inst/minizinc/std/fzn_increasing_bool.mzn
inst/minizinc/std/fzn_cumulative_opt.mzn
inst/minizinc/std/fzn_roots_reif.mzn
inst/minizinc/std/redefinitions-2.5.2.mzn
inst/minizinc/std/range.mzn
inst/minizinc/std/fzn_if_then_else_var_bool.mzn
inst/minizinc/std/fzn_count_lt_reif.mzn
inst/minizinc/std/element_set.mzn
inst/minizinc/std/fzn_mdd_nondet.mzn
inst/minizinc/std/value_precede.mzn
inst/minizinc/std/seq_precede_chain.mzn
inst/minizinc/std/fzn_global_cardinality_reif.mzn
inst/minizinc/std/fzn_neural_net.mzn
inst/minizinc/std/distribute_fn.mzn
inst/minizinc/std/fzn_nvalue.mzn
inst/minizinc/std/fzn_reachable_int.mzn
inst/minizinc/std/fzn_among_reif.mzn
inst/minizinc/std/redefinitions-2.1.1.mzn
inst/minizinc/std/increasing_float.mzn
inst/minizinc/std/fzn_disjunctive_opt.mzn
inst/minizinc/std/fzn_count_leq_par.mzn
inst/minizinc/std/experimental.mzn
inst/minizinc/std/fzn_lex_less_bool_reif.mzn
inst/minizinc/std/fzn_writes.mzn
inst/minizinc/std/stdlib.mzn
inst/minizinc/std/alldifferent_except_0.mzn
inst/minizinc/std/fzn_strict_lex2.mzn
inst/minizinc/std/fzn_if_then_else_opt_int.mzn
inst/minizinc/std/value_precede_chain.mzn
inst/minizinc/std/count_neq.mzn
inst/minizinc/std/fzn_dpath_enum_reif.mzn
inst/minizinc/std/exactly.mzn.deprecated.mzn
inst/minizinc/std/fzn_bounded_dpath_int.mzn
inst/minizinc/std/fzn_at_most_int_reif.mzn
inst/minizinc/std/fzn_regular_nfa.mzn
inst/minizinc/std/fzn_at_most_int.mzn
inst/minizinc/std/fzn_all_different_int_reif.mzn
inst/minizinc/std/fzn_decreasing_bool_reif.mzn
inst/minizinc/std/fzn_dpath_int_reif.mzn
inst/minizinc/std/fzn_symmetric_all_different_reif.mzn
inst/minizinc/std/decreasing_float.mzn
inst/minizinc/std/fzn_reachable_enum.mzn
inst/minizinc/std/alldifferent_except.mzn
inst/minizinc/std/lex_chain_greatereq_orbitope.mzn
inst/minizinc/std/arg_min.mzn
inst/minizinc/std/fzn_arg_max_int.mzn
inst/minizinc/std/exactly_int.mzn
inst/minizinc/std/count.mzn
inst/minizinc/std/fzn_lex_chain_lesseq_int.mzn
inst/minizinc/std/fzn_steiner_reif.mzn
inst/minizinc/std/fzn_if_then_else_partiality.mzn
inst/minizinc/std/fzn_strictly_decreasing_int_opt.mzn
inst/minizinc/std/fzn_cumulative.mzn
inst/minizinc/std/flatzinc_builtins.mzn
inst/minizinc/std/link_set_to_booleans.mzn
inst/minizinc/std/redefinitions-2.1.mzn
inst/minizinc/std/comparison_rel_array.mzn
inst/minizinc/std/redefinitions-2.3.3.mzn
inst/minizinc/std/fzn_span.mzn
inst/minizinc/std/disjoint.mzn
inst/minizinc/std/fzn_count_gt_reif.mzn
inst/minizinc/std/fzn_cost_mdd_reif.mzn
inst/minizinc/std/path.mzn
inst/minizinc/std/fzn_arg_sort_int_reif.mzn
inst/minizinc/std/fzn_subgraph_int_reif.mzn
inst/minizinc/std/fzn_strictly_decreasing_bool.mzn
inst/minizinc/std/fzn_at_most1_reif.mzn
inst/minizinc/std/fzn_member_set_reif.mzn
inst/minizinc/std/fzn_reachable_enum_reif.mzn
inst/minizinc/std/sort.mzn
inst/minizinc/std/fzn_path_int_reif.mzn
inst/minizinc/std/fzn_value_precede_chain_set.mzn
inst/minizinc/std/member_int.mzn
inst/minizinc/std/fzn_strictly_increasing_int.mzn
inst/minizinc/std/fzn_global_cardinality_low_up_reif.mzn
inst/minizinc/std/fzn_value_precede_int.mzn
inst/minizinc/std/fzn_lex_lesseq_set.mzn
inst/minizinc/std/redefinitions.mzn
inst/minizinc/std/diffn_k.mzn
inst/minizinc/std/fzn_piecewise_linear_reif.mzn
inst/minizinc/std/fzn_if_then_else_var_float.mzn
inst/minizinc/std/fzn_sum_pred.mzn
inst/minizinc/std/fzn_bounded_path_enum_reif.mzn
inst/minizinc/std/decreasing_bool.mzn
inst/minizinc/std/alternative.mzn
inst/minizinc/std/analyse_all_different.mzn
inst/minizinc/std/disjunctive_strict.mzn
inst/minizinc/std/fzn_int_set_channel_reif.mzn
inst/minizinc/std/fzn_seq_precede_chain_int.mzn
inst/minizinc/std/fzn_regular_nfa_reif.mzn
inst/minizinc/std/fzn_increasing_float.mzn
inst/minizinc/std/lex_chain_lesseq_bool.mzn
inst/minizinc/std/fzn_count_leq.mzn
inst/minizinc/std/lex_greatereq.mzn
inst/minizinc/std/fzn_diffn_reif.mzn
inst/minizinc/std/among.mzn
inst/minizinc/std/circuit.mzn
inst/minizinc/std/fzn_member_float_reif.mzn
inst/minizinc/std/arg_sort.mzn
inst/minizinc/std/strictly_increasing.mzn
inst/minizinc/std/fzn_increasing_float_reif.mzn
inst/minizinc/std/count_fn.mzn
inst/minizinc/std/fzn_count_leq_reif.mzn
inst/minizinc/std/fzn_sort.mzn
inst/minizinc/std/fzn_partition_set.mzn
inst/minizinc/std/fzn_member_bool_reif.mzn
inst/minizinc/std/fzn_arg_max_bool.mzn
inst/minizinc/std/fzn_lex_lesseq_bool_reif.mzn
inst/minizinc/std/fzn_dtree_int_reif.mzn
inst/minizinc/std/steiner.mzn
inst/minizinc/std/global_cardinality_fn.mzn
inst/minizinc/std/fzn_lex2.mzn
inst/minizinc/std/arg_min_bool.mzn
inst/minizinc/std/fzn_piecewise_linear_non_continuous.mzn
inst/minizinc/std/lex_chain_lesseq_int.mzn
inst/minizinc/std/fzn_disjunctive_strict_opt.mzn
inst/minizinc/std/weighted_spanning_tree.mzn
inst/minizinc/std/fzn_diffn_nonstrict.mzn
inst/minizinc/std/bin_packing_load_fn.mzn
inst/minizinc/std/fzn_dpath_int.mzn
inst/minizinc/std/lex_less.mzn
inst/minizinc/std/global_cardinality_closed_fn.mzn
inst/minizinc/std/fzn_dconnected_reif.mzn
inst/minizinc/std/fzn_count_lt_par.mzn
inst/minizinc/std/fzn_lex_lesseq_float.mzn
inst/minizinc/std/fzn_path_int.mzn
inst/minizinc/std/fzn_bounded_path_enum.mzn
inst/minizinc/std/member_bool.mzn
inst/minizinc/std/count_gt.mzn
inst/minizinc/std/piecewise_linear.mzn
inst/minizinc/std/fzn_all_equal_set.mzn
inst/minizinc/std/lex_greater.mzn
inst/minizinc/std/stdlib/stdlib_ann.mzn
inst/minizinc/std/stdlib/stdlib_compare.mzn
inst/minizinc/std/stdlib/stdlib_math.mzn
inst/minizinc/std/stdlib/stdlib_reflect.mzn
inst/minizinc/std/stdlib/stdlib_ite.mzn
inst/minizinc/std/stdlib/stdlib_sort.mzn
inst/minizinc/std/stdlib/stdlib_string.mzn
inst/minizinc/std/stdlib/stdlib_internal.mzn
inst/minizinc/std/stdlib/stdlib_set.mzn
inst/minizinc/std/stdlib/stdlib_logic.mzn
inst/minizinc/std/stdlib/stdlib_enum.mzn
inst/minizinc/std/stdlib/stdlib_array.mzn
inst/minizinc/std/stdlib/stdlib_debug.mzn
inst/minizinc/std/stdlib/stdlib_random.mzn
inst/minizinc/std/stdlib/stdlib_opt.mzn
inst/minizinc/std/stdlib/stdlib_language.mzn
inst/minizinc/std/stdlib/stdlib_coercion.mzn
inst/minizinc/chuffed/fzn_count_eq.mzn
inst/minizinc/chuffed/fzn_count_gt.mzn
inst/minizinc/chuffed/fzn_count_geq_par.mzn
inst/minizinc/chuffed/fzn_inverse.mzn
inst/minizinc/chuffed/variables_sequences.mzn
inst/minizinc/chuffed/fzn_disjunctive_strict.mzn
inst/minizinc/chuffed/fzn_count_gt_par.mzn
inst/minizinc/chuffed/values_sequences.mzn
inst/minizinc/chuffed/fzn_cost_regular.mzn
inst/minizinc/chuffed/fzn_regular.mzn
inst/minizinc/chuffed/fzn_count_lt.mzn
inst/minizinc/chuffed/fzn_all_different_int.mzn
inst/minizinc/chuffed/chuffed.mzn
inst/minizinc/chuffed/fzn_circuit.mzn
inst/minizinc/chuffed/fzn_count_eq_par.mzn
inst/minizinc/chuffed/fzn_distribute.mzn
inst/minizinc/chuffed/fzn_global_cardinality_low_up.mzn
inst/minizinc/chuffed/fzn_count_geq.mzn
inst/minizinc/chuffed/fzn_subcircuit.mzn
inst/minizinc/chuffed/fzn_disjunctive.mzn
inst/minizinc/chuffed/values_interchange.mzn
inst/minizinc/chuffed/edit_distance.mzn
inst/minizinc/chuffed/fzn_table_int.mzn
inst/minizinc/chuffed/fzn_nvalue.mzn
inst/minizinc/chuffed/fzn_count_leq_par.mzn
inst/minizinc/chuffed/fzn_cumulative.mzn
inst/minizinc/chuffed/redefinitions.mzn
inst/minizinc/chuffed/fzn_count_leq.mzn
inst/minizinc/chuffed/variables_interchange.mzn
inst/minizinc/chuffed/fzn_arg_max_bool.mzn
inst/minizinc/chuffed/fzn_count_lt_par.mzn
inst/minizinc/globalizer/both-glob.mzn
inst/minizinc/globalizer/glob.mzn
inst/minizinc/linear/fzn_if_then_else_float.mzn
inst/minizinc/linear/fzn_lex_lesseq_int.mzn
inst/minizinc/linear/redefs_bool_imp.mzn
inst/minizinc/linear/redefs_lin_imp.mzn
inst/minizinc/linear/fzn_inverse.mzn
inst/minizinc/linear/fzn_if_then_else_int.mzn
inst/minizinc/linear/fzn_inverse_in_range_reif.mzn
inst/minizinc/linear/redefinitions-2.0.mzn
inst/minizinc/linear/redefs_lin_halfreifs.mzn
inst/minizinc/linear/redefinitions-2.2.1.mzn
inst/minizinc/linear/fzn_lex_lesseq_bool.mzn
inst/minizinc/linear/redefs_lin_reifs.mzn
inst/minizinc/linear/CHANGELOG.txt
inst/minizinc/linear/fzn_inverse_in_range.mzn
inst/minizinc/linear/fzn_regular.mzn
inst/minizinc/linear/fzn_all_different_int.mzn
inst/minizinc/linear/fzn_alldifferent_except_0.mzn
inst/minizinc/linear/fzn_inverse_reif.mzn
inst/minizinc/linear/subcircuit_wDummy.mzn
inst/minizinc/linear/fzn_lex_less_int.mzn
inst/minizinc/linear/fzn_circuit.mzn
inst/minizinc/linear/fzn_lex_chain_lesseq_orbitope.mzn
inst/minizinc/linear/redefs_bool_reifs.mzn
inst/minizinc/linear/fzn_sliding_sum.mzn
inst/minizinc/linear/fzn_lex_less_float.mzn
inst/minizinc/linear/fzn_lex_chain_lesseq_bool.mzn
inst/minizinc/linear/fzn_subcircuit.mzn
inst/minizinc/linear/fzn_lex_less_bool.mzn
inst/minizinc/linear/redefinitions-2.0.2.mzn
inst/minizinc/linear/fzn_table_int.mzn
inst/minizinc/linear/domain_encodings.mzn
inst/minizinc/linear/fzn_lex_chain_lesseq_int.mzn
inst/minizinc/linear/fzn_cumulative.mzn
inst/minizinc/linear/redefinitions.mzn
inst/minizinc/linear/options.mzn
inst/minizinc/linear/fzn_lex_lesseq_float.mzn
inst/minizinc/g12_fd/global_cardinality_low_up.mzn
inst/minizinc/g12_fd/cumulative.mzn
inst/minizinc/g12_fd/all_different_int.mzn
inst/minizinc/g12_lazyfd/all_different_int.mzn
inst/minizinc/g12_lazyfd/redefinitions.mzn
inst/minizinc/geas/fzn_inverse.mzn
inst/minizinc/geas/redefinitions-2.0.mzn
inst/minizinc/geas/fzn_all_different_int.mzn
inst/minizinc/geas/fzn_alldifferent_except_0.mzn
inst/minizinc/geas/fzn_global_cardinality.mzn
inst/minizinc/geas/fzn_disjunctive.mzn
inst/minizinc/geas/fzn_table_int.mzn
inst/minizinc/geas/fzn_cumulative.mzn
inst/minizinc/geas/fzn_value_precede_int.mzn
inst/minizinc/geas/redefinitions.mzn
inst/minizinc/gecode_presolver/fzn_lex_lesseq_int.mzn
inst/minizinc/gecode_presolver/fzn_all_equal_int.mzn
inst/minizinc/gecode_presolver/fzn_count_eq.mzn
inst/minizinc/gecode_presolver/fzn_inverse.mzn
inst/minizinc/gecode_presolver/redefinitions-2.0.mzn
inst/minizinc/gecode_presolver/fzn_value_precede_set.mzn
inst/minizinc/gecode_presolver/fzn_lex_lesseq_bool.mzn
inst/minizinc/gecode_presolver/fzn_among.mzn
inst/minizinc/gecode_presolver/fzn_link_set_to_booleans.mzn
inst/minizinc/gecode_presolver/fzn_at_least_set.mzn
inst/minizinc/gecode_presolver/fzn_diffn.mzn
inst/minizinc/gecode_presolver/fzn_range.mzn
inst/minizinc/gecode_presolver/fzn_member_int.mzn
inst/minizinc/gecode_presolver/fzn_exactly_set.mzn
inst/minizinc/gecode_presolver/fzn_member_bool.mzn
inst/minizinc/gecode_presolver/fzn_regular.mzn
inst/minizinc/gecode_presolver/fzn_decreasing_bool.mzn
inst/minizinc/gecode_presolver/fzn_all_different_int.mzn
inst/minizinc/gecode_presolver/fzn_arg_min_int.mzn
inst/minizinc/gecode_presolver/fzn_lex_less_int.mzn
inst/minizinc/gecode_presolver/fzn_global_cardinality_low_up_closed.mzn
inst/minizinc/gecode_presolver/fzn_global_cardinality_closed.mzn
inst/minizinc/gecode_presolver/fzn_circuit.mzn
inst/minizinc/gecode_presolver/fzn_count_eq_reif.mzn
inst/minizinc/gecode_presolver/fzn_bin_packing_capa.mzn
inst/minizinc/gecode_presolver/fzn_bin_packing_load.mzn
inst/minizinc/gecode_presolver/fzn_member_int_reif.mzn
inst/minizinc/gecode_presolver/fzn_distribute.mzn
inst/minizinc/gecode_presolver/fzn_global_cardinality_low_up.mzn
inst/minizinc/gecode_presolver/fzn_roots.mzn
inst/minizinc/gecode_presolver/fzn_global_cardinality.mzn
inst/minizinc/gecode_presolver/precedence.mzn
inst/minizinc/gecode_presolver/fzn_int_set_channel.mzn
inst/minizinc/gecode_presolver/fzn_decreasing_int.mzn
inst/minizinc/gecode_presolver/fzn_lex_less_bool.mzn
inst/minizinc/gecode_presolver/fzn_exactly_int.mzn
inst/minizinc/gecode_presolver/fzn_table_bool.mzn
inst/minizinc/gecode_presolver/fzn_bin_packing.mzn
inst/minizinc/gecode_presolver/fzn_disjoint.mzn
inst/minizinc/gecode_presolver/fzn_at_most_set.mzn
inst/minizinc/gecode_presolver/fzn_inverse_set.mzn
inst/minizinc/gecode_presolver/fzn_table_int.mzn
inst/minizinc/gecode_presolver/fzn_increasing_int.mzn
inst/minizinc/gecode_presolver/fzn_at_least_int.mzn
inst/minizinc/gecode_presolver/fzn_increasing_bool.mzn
inst/minizinc/gecode_presolver/gecode.mzn
inst/minizinc/gecode_presolver/fzn_nvalue.mzn
inst/minizinc/gecode_presolver/fzn_at_most_int.mzn
inst/minizinc/gecode_presolver/fzn_arg_max_int.mzn
inst/minizinc/gecode_presolver/fzn_cumulative.mzn
inst/minizinc/gecode_presolver/fzn_value_precede_int.mzn
inst/minizinc/gecode_presolver/redefinitions.mzn
inst/minizinc/gecode_presolver/fzn_sum_pred.mzn
inst/minizinc/gecode_presolver/fzn_sort.mzn
inst/minizinc/gecode_presolver/fzn_partition_set.mzn
inst/minizinc/gecode_presolver/fzn_member_bool_reif.mzn
build/vignette.rds
tests/testthat.R
tests/testthat/test_problems.R
vignettes/R_MiniZinc.Rmd
data/slvbin.RData
data/config.RData
data/proot.RData
man/VarDomainDecl.Rd
man/LIBMINIZINC_PATH.Rd
man/iterExpression.Rd
man/sol_parse.Rd
man/set_params.Rd
man/SolveItem.Rd
man/knapsack.Rd
man/magic_square.Rd
man/helperDeleteExpression.Rd
man/Expression.Rd
man/floatExpressions.Rd
man/Comprehension.Rd
man/FloatDecl.Rd
man/Set.Rd
man/IntSetVal.Rd
man/SOLVER_BIN.Rd
man/IntArrDecl.Rd
man/mzn_eval.Rd
man/magic_series.Rd
man/iterItem.Rd
man/StringArrDecl.Rd
man/PROJECT_DIRECTORY.Rd
man/BinOp.Rd
man/rminizinc-package.Rd
man/Model.Rd
man/expressionDelete.Rd
man/itemDelete.Rd
man/intExpressions.Rd
man/mzn_parse.Rd
man/Type.Rd
man/ArrDomainDecl.Rd
man/initExpression.Rd
man/getRModel.Rd
man/Item.Rd
man/IntVal.Rd
man/FloatSetVal.Rd
man/BoolSetDecl.Rd
man/production_planning.Rd
man/assignment.Rd
man/Id.Rd
man/IntSetDecl.Rd
man/TypeInst.Rd
man/BoolDecl.Rd
man/helperDeleteItem.Rd
man/String.Rd
man/Generator.Rd
man/BoolArrDecl.Rd
man/FunctionItem.Rd
man/initItem.Rd
man/AssignItem.Rd
man/Call.Rd
man/Float.Rd
man/FloatArrDecl.Rd
man/Array.Rd
man/IntDecl.Rd
man/Bool.Rd
man/Ite.Rd
man/VarDecl.Rd
man/ConstraintItem.Rd
man/ArrayAccess.Rd
man/FloatVal.Rd
man/Let.Rd
man/VarDeclItem.Rd
man/get_missing_pars.Rd
man/UnOp.Rd
man/stringExpressions.Rd
man/boolExpressions.Rd
man/FloatSetDecl.Rd
man/Int.Rd
man/IncludeItem.Rd
man/assignment_2.Rd
man/getType.Rd
man/StringSetDecl.Rd
man/Annotation.Rd