gistfile1.txt

/nix/store/b82q5far9ylwmbvidwafnjpzwl3l2idd-minizinc-2.2.3
├── bin
│   ├── minizinc
│   ├── mzn2doc
│   ├── mzn2fzn
│   └── solns2out
├── include
│   └── minizinc
│       ├── algorithms
│       │   └── min_cut.h
│       ├── astexception.hh
│       ├── ast.hh
│       ├── ast.hpp
│       ├── astiterator.hh
│       ├── aststring.hh
│       ├── astvec.hh
│       ├── builtins.hh
│       ├── config.hh
│       ├── copy.hh
│       ├── eval_par.hh
│       ├── exception.hh
│       ├── file_utils.hh
│       ├── flattener.hh
│       ├── flatten.hh
│       ├── flatten_internal.hh
│       ├── gc.hh
│       ├── hash.hh
│       ├── htmlprinter.hh
│       ├── iter.hh
│       ├── json_parser.hh
│       ├── MIPdomains.hh
│       ├── model.hh
│       ├── optimize_constraints.hh
│       ├── optimize.hh
│       ├── options.hh
│       ├── output.hh
│       ├── parser.hh
│       ├── parser.tab.hh
│       ├── passes
│       │   ├── compile_pass.hh
│       │   └── gecode_pass.hh
│       ├── pathfileprinter.hh
│       ├── prettyprinter.hh
│       ├── process.hh
│       ├── solns2out.hh
│       ├── solver_config.hh
│       ├── solver.hh
│       ├── solver_instance_base.hh
│       ├── solver_instance.hh
│       ├── solvers
│       │   ├── fzn_solverfactory.hh
│       │   ├── fzn_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
│       ├── 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
│       └── values.hh
├── INSTALL.txt
├── lib
│   ├── cmake
│   │   ├── libminizincConfig.cmake
│   │   ├── libminizincConfigVersion.cmake
│   │   ├── libminizincTargets.cmake
│   │   └── libminizincTargets-release.cmake
│   ├── libminizinc.a
│   ├── libminizinc_fzn.a
│   └── libminizinc_solver.a
├── LICENSE.txt
├── README.txt
└── share
    ├── doc
    │   └── pdf
    │       ├── mears_2014_0_optiontypes.pdf
    │       ├── stochastic_minizinc.pdf
    │       └── stuckey_2013_0_minizincwithfunctions.pdf
    ├── examples
    │   ├── functions
    │   │   └── warehouses.mzn
    │   ├── new_syntax
    │   │   ├── array_index_set.mzn
    │   │   ├── extended_let.mzn
    │   │   └── var_if.mzn
    │   ├── option_types
    │   │   ├── compatible_assignment_opt.mzn
    │   │   ├── extended_comprehensions.mzn
    │   │   └── fjsp.mzn
    │   └── python_interface
    │       ├── aust.py
    │       ├── knapsack.py
    │       ├── loan.py
    │       ├── nqueens3.py
    │       ├── nqueens.py
    │       └── sudoku.py
    └── minizinc
        ├── g12_fd
        │   ├── all_different_int.mzn
        │   ├── cumulative.mzn
        │   └── global_cardinality_low_up.mzn
        ├── g12_lazyfd
        │   ├── all_different_int.mzn
        │   └── redefinitions.mzn
        ├── gecode_presolver
        │   ├── all_different_int.mzn
        │   ├── all_equal_int.mzn
        │   ├── among.mzn
        │   ├── arg_max_int.mzn
        │   ├── arg_min_int.mzn
        │   ├── at_least_int.mzn
        │   ├── at_least_set.mzn
        │   ├── at_most_int.mzn
        │   ├── at_most_set.mzn
        │   ├── bin_packing_capa.mzn
        │   ├── bin_packing_load.mzn
        │   ├── bin_packing.mzn
        │   ├── circuit.mzn
        │   ├── count.mzn
        │   ├── cumulative.mzn
        │   ├── decreasing_bool.mzn
        │   ├── decreasing_int.mzn
        │   ├── diffn.mzn
        │   ├── disjoint.mzn
        │   ├── distribute.mzn
        │   ├── exactly_int.mzn
        │   ├── exactly_set.mzn
        │   ├── gecode.mzn
        │   ├── global_cardinality_closed.mzn
        │   ├── global_cardinality_low_up_closed.mzn
        │   ├── global_cardinality_low_up.mzn
        │   ├── global_cardinality.mzn
        │   ├── increasing_bool.mzn
        │   ├── increasing_int.mzn
        │   ├── int_set_channel.mzn
        │   ├── inverse.mzn
        │   ├── inverse_set.mzn
        │   ├── lex_less_bool.mzn
        │   ├── lex_lesseq_bool.mzn
        │   ├── lex_lesseq_int.mzn
        │   ├── lex_less_int.mzn
        │   ├── link_set_to_booleans.mzn
        │   ├── maximum_int.mzn
        │   ├── member_bool.mzn
        │   ├── member_int.mzn
        │   ├── minimum_int.mzn
        │   ├── nvalue.mzn
        │   ├── partition_set.mzn
        │   ├── precedence.mzn
        │   ├── range.mzn
        │   ├── redefinitions-2.0.mzn
        │   ├── redefinitions.mzn
        │   ├── regular.mzn
        │   ├── roots.mzn
        │   ├── sort.mzn
        │   ├── sum_pred.mzn
        │   ├── table_bool.mzn
        │   ├── table_int.mzn
        │   ├── value_precede_int.mzn
        │   └── value_precede_set.mzn
        ├── linear
        │   ├── alldifferent_except_0.mzn
        │   ├── all_different_int.mzn
        │   ├── CHANGELOG.txt
        │   ├── circuit.mzn
        │   ├── cumulative.mzn
        │   ├── domain_encodings.mzn
        │   ├── inverse.mzn
        │   ├── lex_lesseq_bool.mzn
        │   ├── options.mzn
        │   ├── redefinitions-2.0.2.mzn
        │   ├── redefinitions-2.0.mzn
        │   ├── redefinitions-2.2.1.mzn
        │   ├── redefinitions.mzn
        │   ├── redefs_bool_reifs.mzn
        │   ├── redefs_lin_halfreifs.mzn
        │   ├── redefs_lin_reifs.mzn
        │   ├── regular.mzn
        │   ├── sliding_sum.mzn
        │   ├── subcircuit.mzn
        │   ├── subcircuit_wDummy.mzn
        │   └── table_int.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
        └── std
            ├── alldifferent_except_0.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
            ├── arg_max_float.mzn
            ├── arg_max_int.mzn
            ├── arg_max.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_set.mzn
            ├── at_most1.mzn
            ├── atmost1.mzn
            ├── at_most_int.mzn
            ├── at_most.mzn
            ├── atmost.mzn
            ├── at_most_set.mzn
            ├── bin_packing_capa.mzn
            ├── bin_packing_load_fn.mzn
            ├── bin_packing_load.mzn
            ├── bin_packing.mzn
            ├── builtins.mzn
            ├── circuit.mzn
            ├── comparison_rel_array.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
            ├── 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_set.mzn
            ├── flatzinc_builtins.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.mzn
            ├── inverse_set.mzn
            ├── knapsack.mzn
            ├── lex2.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
            ├── member_bool.mzn
            ├── member_float.mzn
            ├── member_int.mzn
            ├── member.mzn
            ├── member_set.mzn
            ├── minimum.mzn
            ├── network_flow.mzn
            ├── nosets.mzn
            ├── nvalue_fn.mzn
            ├── nvalue.mzn
            ├── partition_set.mzn
            ├── range_fn.mzn
            ├── range.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
            ├── roots_fn.mzn
            ├── roots.mzn
            ├── set_member.mzn
            ├── sliding_sum.mzn
            ├── sort_fn.mzn
            ├── sort.mzn
            ├── span.mzn
            ├── stdlib.mzn
            ├── stdlib_new.mzn
            ├── strict_lex2.mzn
            ├── subcircuit.mzn
            ├── sum_pred.mzn
            ├── symmetric_all_different.mzn
            ├── table_bool.mzn
            ├── table_int.mzn
            ├── table.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

29 directories, 348 files