Created
March 17, 2021 15:22
-
-
Save r-ryantm/008adca62a2b2a3a3e06566e6cf83138 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /nix/store/yg01wmq74d22m3xzbr42ixns0xk2l2nn-minizinc-2.5.4 | |
| ├── bin | |
| │ ├── minizinc | |
| │ └── mzn2doc | |
| ├── include | |
| │ └── minizinc | |
| │ ├── algorithms | |
| │ │ └── min_cut.h | |
| │ ├── astexception.hh | |
| │ ├── ast.hh | |
| │ ├── ast.hpp | |
| │ ├── astiterator.hh | |
| │ ├── astmap.hh | |
| │ ├── aststring.hh | |
| │ ├── astvec.hh | |
| │ ├── builtins.hh | |
| │ ├── chain_compressor.hh | |
| │ ├── config.hh | |
| │ ├── copy.hh | |
| │ ├── eval_par.hh | |
| │ ├── exception.hh | |
| │ ├── file_utils.hh | |
| │ ├── flat_exp.hh | |
| │ ├── flattener.hh | |
| │ ├── flatten.hh | |
| │ ├── flatten_internal.hh | |
| │ ├── gc.hh | |
| │ ├── hash.hh | |
| │ ├── htmlprinter.hh | |
| │ ├── interrupt.hh | |
| │ ├── iter.hh | |
| │ ├── json_parser.hh | |
| │ ├── MIPdomains.hh | |
| │ ├── model.hh | |
| │ ├── optimize_constraints.hh | |
| │ ├── optimize.hh | |
| │ ├── output.hh | |
| │ ├── param_config.hh | |
| │ ├── parser.hh | |
| │ ├── parser.tab.hh | |
| │ ├── passes | |
| │ │ ├── compile_pass.hh | |
| │ │ └── gecode_pass.hh | |
| │ ├── pathfileprinter.hh | |
| │ ├── plugin.hh | |
| │ ├── prettyprinter.hh | |
| │ ├── process.hh | |
| │ ├── solns2out.hh | |
| │ ├── solver_config.hh | |
| │ ├── solver.hh | |
| │ ├── solver_instance_base.hh | |
| │ ├── solver_instance_defs.hh | |
| │ ├── solver_instance.hh | |
| │ ├── solvers | |
| │ │ ├── fzn_solverfactory.hh | |
| │ │ ├── fzn_solverinstance.hh | |
| │ │ ├── geas | |
| │ │ │ └── geas_constraints.hh | |
| │ │ ├── geas_solverfactory.hh | |
| │ │ ├── geas_solverinstance.hh | |
| │ │ ├── gecode | |
| │ │ │ ├── fzn_space.hh | |
| │ │ │ └── gecode_constraints.hh | |
| │ │ ├── gecode_solverfactory.hh | |
| │ │ ├── gecode_solverinstance.hh | |
| │ │ ├── MIP | |
| │ │ │ ├── MIP_cplex_solverfactory.hh | |
| │ │ │ ├── MIP_cplex_wrap.hh | |
| │ │ │ ├── MIP_gurobi_solverfactory.hh | |
| │ │ │ ├── MIP_gurobi_wrap.hh | |
| │ │ │ ├── MIP_osicbc_solverfactory.hh | |
| │ │ │ ├── MIP_osicbc_wrap.hh | |
| │ │ │ ├── MIP_scip_solverfactory.hh | |
| │ │ │ ├── MIP_scip_wrap.hh | |
| │ │ │ ├── MIP_solverinstance.hh | |
| │ │ │ ├── MIP_solverinstance.hpp | |
| │ │ │ ├── MIP_wrap.hh | |
| │ │ │ ├── MIP_xpress_solverfactory.hh | |
| │ │ │ └── MIP_xpress_wrap.hh | |
| │ │ ├── mzn_solverfactory.hh | |
| │ │ ├── mzn_solverinstance.hh | |
| │ │ └── nl | |
| │ │ ├── nl_components.hh | |
| │ │ ├── nl_file.hh | |
| │ │ ├── nl_solreader.hh | |
| │ │ ├── nl_solverfactory.hh | |
| │ │ └── nl_solverinstance.hh | |
| │ ├── statistics.hh | |
| │ ├── support | |
| │ │ ├── regex.hh | |
| │ │ └── regex_parser.tab.hh | |
| │ ├── _thirdparty | |
| │ │ ├── b64 | |
| │ │ │ ├── cdecode.h | |
| │ │ │ ├── cencode.h | |
| │ │ │ ├── decode.h | |
| │ │ │ └── encode.h | |
| │ │ └── miniz.h | |
| │ ├── timer.hh | |
| │ ├── typecheck.hh | |
| │ ├── type.hh | |
| │ ├── utils.hh | |
| │ ├── utils_savestream.hh | |
| │ └── values.hh | |
| ├── lib | |
| │ ├── cmake | |
| │ │ └── libminizinc | |
| │ │ ├── libminizincConfig.cmake | |
| │ │ ├── libminizincConfigVersion.cmake | |
| │ │ ├── libminizincTargets.cmake | |
| │ │ └── libminizincTargets-release.cmake | |
| │ └── libmzn.a | |
| └── share | |
| └── minizinc | |
| ├── g12_fd | |
| │ ├── all_different_int.mzn | |
| │ ├── cumulative.mzn | |
| │ └── global_cardinality_low_up.mzn | |
| ├── g12_lazyfd | |
| │ ├── all_different_int.mzn | |
| │ └── redefinitions.mzn | |
| ├── geas | |
| │ ├── fzn_alldifferent_except_0.mzn | |
| │ ├── fzn_all_different_int.mzn | |
| │ ├── fzn_cumulative.mzn | |
| │ ├── fzn_disjunctive.mzn | |
| │ ├── fzn_global_cardinality.mzn | |
| │ ├── fzn_inverse.mzn | |
| │ ├── fzn_table_int.mzn | |
| │ ├── fzn_value_precede_int.mzn | |
| │ ├── redefinitions-2.0.mzn | |
| │ └── redefinitions.mzn | |
| ├── gecode_presolver | |
| │ ├── fzn_all_different_int.mzn | |
| │ ├── fzn_all_equal_int.mzn | |
| │ ├── fzn_among.mzn | |
| │ ├── fzn_arg_max_int.mzn | |
| │ ├── fzn_arg_min_int.mzn | |
| │ ├── fzn_at_least_int.mzn | |
| │ ├── fzn_at_least_set.mzn | |
| │ ├── fzn_at_most_int.mzn | |
| │ ├── fzn_at_most_set.mzn | |
| │ ├── fzn_bin_packing_capa.mzn | |
| │ ├── fzn_bin_packing_load.mzn | |
| │ ├── fzn_bin_packing.mzn | |
| │ ├── fzn_circuit.mzn | |
| │ ├── fzn_count_eq.mzn | |
| │ ├── fzn_count_eq_reif.mzn | |
| │ ├── fzn_cumulative.mzn | |
| │ ├── fzn_decreasing_bool.mzn | |
| │ ├── fzn_decreasing_int.mzn | |
| │ ├── fzn_diffn.mzn | |
| │ ├── fzn_disjoint.mzn | |
| │ ├── fzn_distribute.mzn | |
| │ ├── fzn_exactly_int.mzn | |
| │ ├── fzn_exactly_set.mzn | |
| │ ├── fzn_global_cardinality_closed.mzn | |
| │ ├── fzn_global_cardinality_low_up_closed.mzn | |
| │ ├── fzn_global_cardinality_low_up.mzn | |
| │ ├── fzn_global_cardinality.mzn | |
| │ ├── fzn_increasing_bool.mzn | |
| │ ├── fzn_increasing_int.mzn | |
| │ ├── fzn_int_set_channel.mzn | |
| │ ├── fzn_inverse.mzn | |
| │ ├── fzn_inverse_set.mzn | |
| │ ├── fzn_lex_less_bool.mzn | |
| │ ├── fzn_lex_lesseq_bool.mzn | |
| │ ├── fzn_lex_lesseq_int.mzn | |
| │ ├── fzn_lex_less_int.mzn | |
| │ ├── fzn_link_set_to_booleans.mzn | |
| │ ├── fzn_member_bool.mzn | |
| │ ├── fzn_member_bool_reif.mzn | |
| │ ├── fzn_member_int.mzn | |
| │ ├── fzn_member_int_reif.mzn | |
| │ ├── fzn_nvalue.mzn | |
| │ ├── fzn_partition_set.mzn | |
| │ ├── fzn_range.mzn | |
| │ ├── fzn_regular.mzn | |
| │ ├── fzn_roots.mzn | |
| │ ├── fzn_sort.mzn | |
| │ ├── fzn_sum_pred.mzn | |
| │ ├── fzn_table_bool.mzn | |
| │ ├── fzn_table_int.mzn | |
| │ ├── fzn_value_precede_int.mzn | |
| │ ├── fzn_value_precede_set.mzn | |
| │ ├── gecode.mzn | |
| │ ├── precedence.mzn | |
| │ ├── redefinitions-2.0.mzn | |
| │ └── redefinitions.mzn | |
| ├── linear | |
| │ ├── CHANGELOG.txt | |
| │ ├── domain_encodings.mzn | |
| │ ├── fzn_alldifferent_except_0.mzn | |
| │ ├── fzn_all_different_int.mzn | |
| │ ├── fzn_circuit.mzn | |
| │ ├── fzn_cumulative.mzn | |
| │ ├── fzn_if_then_else_float.mzn | |
| │ ├── fzn_if_then_else_int.mzn | |
| │ ├── fzn_inverse_in_range.mzn | |
| │ ├── fzn_inverse_in_range_reif.mzn | |
| │ ├── fzn_inverse.mzn | |
| │ ├── fzn_inverse_reif.mzn | |
| │ ├── fzn_lex_chain_lesseq_bool.mzn | |
| │ ├── fzn_lex_chain_lesseq_int.mzn | |
| │ ├── fzn_lex_chain_lesseq_orbitope.mzn | |
| │ ├── fzn_lex_less_bool.mzn | |
| │ ├── fzn_lex_lesseq_bool.mzn | |
| │ ├── fzn_lex_lesseq_float.mzn | |
| │ ├── fzn_lex_lesseq_int.mzn | |
| │ ├── fzn_lex_less_float.mzn | |
| │ ├── fzn_lex_less_int.mzn | |
| │ ├── fzn_regular.mzn | |
| │ ├── fzn_sliding_sum.mzn | |
| │ ├── fzn_subcircuit.mzn | |
| │ ├── fzn_table_int.mzn | |
| │ ├── options.mzn | |
| │ ├── redefinitions-2.0.2.mzn | |
| │ ├── redefinitions-2.0.mzn | |
| │ ├── redefinitions-2.2.1.mzn | |
| │ ├── redefinitions.mzn | |
| │ ├── redefs_bool_imp.mzn | |
| │ ├── redefs_bool_reifs.mzn | |
| │ ├── redefs_lin_halfreifs.mzn | |
| │ ├── redefs_lin_imp.mzn | |
| │ ├── redefs_lin_reifs.mzn | |
| │ └── subcircuit_wDummy.mzn | |
| ├── linear_old | |
| │ ├── all_different_int.mzn | |
| │ ├── domain_encodings.mzn | |
| │ ├── inverse.mzn | |
| │ ├── linear | |
| │ │ ├── all_different_int.mzn | |
| │ │ ├── domain_encodings.mzn | |
| │ │ ├── inverse.mzn | |
| │ │ ├── redefinitions-2.0.2.mzn | |
| │ │ ├── redefinitions-2.0.mzn | |
| │ │ ├── redefinitions.mzn | |
| │ │ └── table_int.mzn | |
| │ ├── redefinitions-2.0.2.mzn | |
| │ ├── redefinitions-2.0.mzn | |
| │ ├── redefinitions.mzn | |
| │ └── table_int.mzn | |
| ├── Preferences.json | |
| └── std | |
| ├── alldifferent_except_0.mzn | |
| ├── alldifferent_except.mzn | |
| ├── all_different_int.mzn | |
| ├── all_different.mzn | |
| ├── alldifferent.mzn | |
| ├── all_different_set.mzn | |
| ├── all_disjoint.mzn | |
| ├── all_equal_int.mzn | |
| ├── all_equal.mzn | |
| ├── all_equal_set.mzn | |
| ├── alternative.mzn | |
| ├── among_fn.mzn | |
| ├── among.mzn | |
| ├── analyse_all_different.mzn | |
| ├── arg_max_bool.mzn | |
| ├── arg_max_float.mzn | |
| ├── arg_max_int.mzn | |
| ├── arg_max.mzn | |
| ├── arg_min_bool.mzn | |
| ├── arg_min_float.mzn | |
| ├── arg_min_int.mzn | |
| ├── arg_min.mzn | |
| ├── arg_sort_float.mzn | |
| ├── arg_sort_int.mzn | |
| ├── arg_sort.mzn | |
| ├── at_least_int.mzn | |
| ├── at_least.mzn | |
| ├── atleast.mzn | |
| ├── at_least.mzn.deprecated.mzn | |
| ├── at_least_set.mzn | |
| ├── at_most1.mzn | |
| ├── atmost1.mzn | |
| ├── at_most_int.mzn | |
| ├── at_most.mzn | |
| ├── atmost.mzn | |
| ├── at_most.mzn.deprecated.mzn | |
| ├── at_most_set.mzn | |
| ├── bin_packing_capa.mzn | |
| ├── bin_packing_load_fn.mzn | |
| ├── bin_packing_load.mzn | |
| ├── bin_packing.mzn | |
| ├── bounded_path.mzn | |
| ├── circuit.mzn | |
| ├── comparison_rel_array.mzn | |
| ├── connected.mzn | |
| ├── cost_mdd.mzn | |
| ├── cost_regular.mzn | |
| ├── count_eq.mzn | |
| ├── count_fn.mzn | |
| ├── count_geq.mzn | |
| ├── count_gt.mzn | |
| ├── count_leq.mzn | |
| ├── count_lt.mzn | |
| ├── count.mzn | |
| ├── count_neq.mzn | |
| ├── cumulative.mzn | |
| ├── cumulative_opt.mzn | |
| ├── dag.mzn | |
| ├── decreasing_bool.mzn | |
| ├── decreasing_float.mzn | |
| ├── decreasing_int.mzn | |
| ├── decreasing.mzn | |
| ├── decreasing_set.mzn | |
| ├── diffn_k.mzn | |
| ├── diffn.mzn | |
| ├── diffn_nonstrict_k.mzn | |
| ├── diffn_nonstrict.mzn | |
| ├── disjoint.mzn | |
| ├── disjunctive.mzn | |
| ├── disjunctive_opt.mzn | |
| ├── disjunctive_strict.mzn | |
| ├── disjunctive_strict_opt.mzn | |
| ├── distribute_fn.mzn | |
| ├── distribute.mzn | |
| ├── element_bool.mzn | |
| ├── element_float.mzn | |
| ├── element_int.mzn | |
| ├── element.mzn | |
| ├── element_set.mzn | |
| ├── exactly_int.mzn | |
| ├── exactly.mzn | |
| ├── exactly.mzn.deprecated.mzn | |
| ├── exactly_set.mzn | |
| ├── experimental.mzn | |
| ├── flatzinc_builtins.mzn | |
| ├── fzn_alldifferent_except_0.mzn | |
| ├── fzn_alldifferent_except_0_reif.mzn | |
| ├── fzn_alldifferent_except.mzn | |
| ├── fzn_alldifferent_except_reif.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_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_capa.mzn | |
| ├── fzn_bin_packing_capa_reif.mzn | |
| ├── fzn_bin_packing_load.mzn | |
| ├── fzn_bin_packing_load_reif.mzn | |
| ├── fzn_bin_packing.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_par.mzn | |
| ├── fzn_count_eq_par_reif.mzn | |
| ├── fzn_count_eq_reif.mzn | |
| ├── fzn_count_geq.mzn | |
| ├── fzn_count_geq_par.mzn | |
| ├── fzn_count_geq_par_reif.mzn | |
| ├── fzn_count_geq_reif.mzn | |
| ├── fzn_count_gt.mzn | |
| ├── fzn_count_gt_par.mzn | |
| ├── fzn_count_gt_par_reif.mzn | |
| ├── fzn_count_gt_reif.mzn | |
| ├── fzn_count_leq.mzn | |
| ├── fzn_count_leq_par.mzn | |
| ├── fzn_count_leq_par_reif.mzn | |
| ├── fzn_count_leq_reif.mzn | |
| ├── fzn_count_lt.mzn | |
| ├── fzn_count_lt_par.mzn | |
| ├── fzn_count_lt_par_reif.mzn | |
| ├── fzn_count_lt_reif.mzn | |
| ├── fzn_count_neq.mzn | |
| ├── fzn_count_neq_par.mzn | |
| ├── fzn_count_neq_par_reif.mzn | |
| ├── fzn_count_neq_reif.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_k.mzn | |
| ├── fzn_diffn_k_reif.mzn | |
| ├── fzn_diffn.mzn | |
| ├── fzn_diffn_nonstrict_k.mzn | |
| ├── fzn_diffn_nonstrict_k_reif.mzn | |
| ├── fzn_diffn_nonstrict.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_bb.mzn | |
| ├── fzn_geost_bb_reif.mzn | |
| ├── fzn_geost.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_closed.mzn | |
| ├── fzn_global_cardinality_closed_reif.mzn | |
| ├── fzn_global_cardinality_low_up_closed.mzn | |
| ├── fzn_global_cardinality_low_up_closed_reif.mzn | |
| ├── fzn_global_cardinality_low_up.mzn | |
| ├── fzn_global_cardinality_low_up_reif.mzn | |
| ├── fzn_global_cardinality.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_float.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_float.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_in_range.mzn | |
| ├── fzn_inverse_in_range_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_chain_less_bool.mzn | |
| ├── fzn_lex_chain_less_bool_reif.mzn | |
| ├── fzn_lex_chain_lesseq_bool.mzn | |
| ├── fzn_lex_chain_lesseq_bool_reif.mzn | |
| ├── fzn_lex_chain_lesseq_int.mzn | |
| ├── fzn_lex_chain_lesseq_int_reif.mzn | |
| ├── fzn_lex_chain_lesseq_orbitope.mzn | |
| ├── fzn_lex_chain_lesseq_orbitope_reif.mzn | |
| ├── fzn_lex_chain_less_int.mzn | |
| ├── fzn_lex_chain_less_int_reif.mzn | |
| ├── fzn_lex_less_bool.mzn | |
| ├── fzn_lex_less_bool_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_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_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_cost.mzn | |
| ├── fzn_network_flow_cost_reif.mzn | |
| ├── fzn_network_flow.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_non_continuous.mzn | |
| ├── fzn_piecewise_linear_non_continuous_reif.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_opt.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_opt.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_opt.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_opt.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_closed_fn.mzn | |
| ├── global_cardinality_closed.mzn | |
| ├── global_cardinality_fn.mzn | |
| ├── global_cardinality_low_up_closed.mzn | |
| ├── global_cardinality_low_up.mzn | |
| ├── global_cardinality.mzn | |
| ├── globals.mzn | |
| ├── increasing_bool.mzn | |
| ├── increasing_float.mzn | |
| ├── increasing_int.mzn | |
| ├── increasing.mzn | |
| ├── increasing_set.mzn | |
| ├── int_set_channel.mzn | |
| ├── inverse_fn.mzn | |
| ├── inverse_in_range.mzn | |
| ├── inverse.mzn | |
| ├── inverse_set.mzn | |
| ├── knapsack.mzn | |
| ├── lex2.mzn | |
| ├── lex2_strict.mzn | |
| ├── lex_chain_greatereq.mzn | |
| ├── lex_chain_greatereq_orbitope.mzn | |
| ├── lex_chain_greater.mzn | |
| ├── lex_chain_less_bool.mzn | |
| ├── lex_chain_lesseq_bool.mzn | |
| ├── lex_chain_lesseq_int.mzn | |
| ├── lex_chain_lesseq.mzn | |
| ├── lex_chain_lesseq_orbitope.mzn | |
| ├── lex_chain_less_int.mzn | |
| ├── lex_chain_less.mzn | |
| ├── lex_greatereq.mzn | |
| ├── lex_greater.mzn | |
| ├── lex_less_bool.mzn | |
| ├── lex_lesseq_bool.mzn | |
| ├── lex_lesseq_float.mzn | |
| ├── lex_lesseq_int.mzn | |
| ├── lex_lesseq.mzn | |
| ├── lex_lesseq_set.mzn | |
| ├── lex_less_float.mzn | |
| ├── lex_less_int.mzn | |
| ├── lex_less.mzn | |
| ├── lex_less_set.mzn | |
| ├── link_set_to_booleans.mzn | |
| ├── maximum.mzn | |
| ├── mdd.mzn | |
| ├── mdd_nondet.mzn | |
| ├── member_bool.mzn | |
| ├── member_float.mzn | |
| ├── member_int.mzn | |
| ├── member.mzn | |
| ├── member_set.mzn | |
| ├── minimum.mzn | |
| ├── network_flow.mzn | |
| ├── neural_net.mzn | |
| ├── nosets.mzn | |
| ├── nvalue_fn.mzn | |
| ├── nvalue.mzn | |
| ├── partition_set.mzn | |
| ├── path.mzn | |
| ├── piecewise_linear.mzn | |
| ├── piecewise_linear_non_continuous.mzn | |
| ├── range_fn.mzn | |
| ├── range.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-2.3.3.mzn | |
| ├── redefinitions-2.5.2.mzn | |
| ├── redefinitions.mzn | |
| ├── regular.mzn | |
| ├── regular_nfa.mzn | |
| ├── regular_regexp.mzn | |
| ├── regular_set.mzn | |
| ├── roots_fn.mzn | |
| ├── roots.mzn | |
| ├── seq_precede_chain.mzn | |
| ├── set_member.mzn | |
| ├── sliding_sum.mzn | |
| ├── solver_redefinitions.mzn | |
| ├── sort_fn.mzn | |
| ├── sort.mzn | |
| ├── span.mzn | |
| ├── stdlib | |
| │ ├── stdlib_ann.mzn | |
| │ ├── stdlib_array.mzn | |
| │ ├── stdlib_coercion.mzn | |
| │ ├── stdlib_compare.mzn | |
| │ ├── stdlib_debug.mzn | |
| │ ├── stdlib_enum.mzn | |
| │ ├── stdlib_internal.mzn | |
| │ ├── stdlib_ite.mzn | |
| │ ├── stdlib_language.mzn | |
| │ ├── stdlib_logic.mzn | |
| │ ├── stdlib_math.mzn | |
| │ ├── stdlib_opt.mzn | |
| │ ├── stdlib_random.mzn | |
| │ ├── stdlib_reflect.mzn | |
| │ ├── stdlib_set.mzn | |
| │ ├── stdlib_sort.mzn | |
| │ └── stdlib_string.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_bool.mzn | |
| ├── table_int.mzn | |
| ├── table.mzn | |
| ├── tree.mzn | |
| ├── value_precede_chain_int.mzn | |
| ├── value_precede_chain.mzn | |
| ├── value_precede_chain_set.mzn | |
| ├── value_precede_int.mzn | |
| ├── value_precede.mzn | |
| ├── value_precede_set.mzn | |
| ├── weighted_spanning_tree.mzn | |
| ├── write.mzn | |
| ├── writes.mzn | |
| └── writes_seq.mzn | |
| 27 directories, 760 files |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment