minizinc (2.9.7+dfsg1-1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- none
- Architecture
- amd64
- Section
- universe/devel
- Priority
- extra
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 9.4 kB
- Size expected
- 2.6 MB
- Size actual
- 2.6 MB
- Size match
Dependencies
Required package dependencies
- coinor-libcbc3.1 (>= 2.10.13+ds)
- coinor-libcgl1 (>= 0.60.9+ds)
- coinor-libclp1 (>= 1.17.10+ds)
- coinor-libcoinutils3v5 (>= 2.11.12+ds)
- coinor-libosi1v5 (>= 0.108.11+ds)
- libc6 (>= 2.38)
- libgcc-s1 (>= 3.3.1)
- libgecode49t64 (>= 6.2.0)
- libgecodegist49t64 (>= 6.2.0)
- libstdc++6 (>= 14)
- jq
- python3-demjson
- flatzinc | gecode-flatzinc | ortools-flatzinc (>= 8.2+ds-6) | chuffed-flatzinc | highs
Suggested packages
Recommended additional packages
- None
Description
constraint modelling language and tool chain
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 72b74adc…497ec979 | |
| SHA-1 | 33a09116…db89cdb1 | |
| SHA-256 | d8335574…95fff201 | |
| SHA-512 | 7fee72b0…b603bba4 |
Contents
Files and directories included
. usr usr/bin usr/bin/minizinc usr/bin/mzn2doc usr/share usr/share/doc usr/share/doc/minizinc usr/share/doc/minizinc/CITATION.cff usr/share/doc/minizinc/README.Debian usr/share/doc/minizinc/README.gz usr/share/doc/minizinc/changelog.Debian.gz usr/share/doc/minizinc/copyright usr/share/doc/minizinc/examples usr/share/doc/minizinc/examples/2DPacking.mzn usr/share/doc/minizinc/examples/alpha.mzn usr/share/doc/minizinc/examples/battleships.mzn.model usr/share/doc/minizinc/examples/battleships10.mzn usr/share/doc/minizinc/examples/battleships_1.mzn usr/share/doc/minizinc/examples/battleships_2.mzn usr/share/doc/minizinc/examples/battleships_3.mzn usr/share/doc/minizinc/examples/battleships_4.mzn usr/share/doc/minizinc/examples/battleships_5.mzn usr/share/doc/minizinc/examples/battleships_7.mzn usr/share/doc/minizinc/examples/battleships_9.mzn usr/share/doc/minizinc/examples/blocksworld.model usr/share/doc/minizinc/examples/blocksworld_instance_1.mzn usr/share/doc/minizinc/examples/blocksworld_instance_2.mzn usr/share/doc/minizinc/examples/cutstock.mzn usr/share/doc/minizinc/examples/eq20.mzn usr/share/doc/minizinc/examples/factory_planning_instance.mzn usr/share/doc/minizinc/examples/golomb.mzn usr/share/doc/minizinc/examples/halfreif.mzn usr/share/doc/minizinc/examples/jobshop2x2.mzn usr/share/doc/minizinc/examples/knights.mzn usr/share/doc/minizinc/examples/langford.mzn usr/share/doc/minizinc/examples/langford2.mzn usr/share/doc/minizinc/examples/latin_squares_fd.mzn usr/share/doc/minizinc/examples/magicsq.mzn.model usr/share/doc/minizinc/examples/magicsq_3.mzn usr/share/doc/minizinc/examples/magicsq_4.mzn usr/share/doc/minizinc/examples/magicsq_5.mzn usr/share/doc/minizinc/examples/multidimknapsack_simple.mzn usr/share/doc/minizinc/examples/oss.mzn usr/share/doc/minizinc/examples/packing.mzn usr/share/doc/minizinc/examples/perfsq.mzn usr/share/doc/minizinc/examples/perfsq2.mzn usr/share/doc/minizinc/examples/photo.mzn usr/share/doc/minizinc/examples/product_fd.mzn usr/share/doc/minizinc/examples/product_lp.mzn usr/share/doc/minizinc/examples/quasigroup_qg5.mzn usr/share/doc/minizinc/examples/queen_cp2.mzn usr/share/doc/minizinc/examples/queen_ip.mzn usr/share/doc/minizinc/examples/radiation.mzn usr/share/doc/minizinc/examples/simple_sat.mzn usr/share/doc/minizinc/examples/singHoist2.mzn usr/share/doc/minizinc/examples/steiner-triples.mzn usr/share/doc/minizinc/examples/sudoku.mzn usr/share/doc/minizinc/examples/template_design.mzn usr/share/doc/minizinc/examples/tenpenki.mzn.model usr/share/doc/minizinc/examples/tenpenki_1.mzn usr/share/doc/minizinc/examples/tenpenki_2.mzn usr/share/doc/minizinc/examples/tenpenki_3.mzn usr/share/doc/minizinc/examples/tenpenki_4.mzn usr/share/doc/minizinc/examples/tenpenki_5.mzn usr/share/doc/minizinc/examples/tenpenki_6.mzn usr/share/doc/minizinc/examples/timetabling.mzn usr/share/doc/minizinc/examples/trucking.mzn usr/share/doc/minizinc/examples/warehouses.mzn usr/share/doc/minizinc/examples/wolf_goat_cabbage.mzn usr/share/doc/minizinc/examples/zebra.mzn usr/share/minizinc usr/share/minizinc/Preferences.json usr/share/minizinc/geas usr/share/minizinc/geas/fzn_all_different_int.mzn usr/share/minizinc/geas/fzn_alldifferent_except_0.mzn usr/share/minizinc/geas/fzn_cumulative.mzn usr/share/minizinc/geas/fzn_disjunctive.mzn usr/share/minizinc/geas/fzn_global_cardinality.mzn usr/share/minizinc/geas/fzn_inverse.mzn usr/share/minizinc/geas/fzn_table_int.mzn usr/share/minizinc/geas/fzn_value_precede_int.mzn usr/share/minizinc/geas/redefinitions-2.0.mzn usr/share/minizinc/geas/redefinitions.mzn usr/share/minizinc/gecode_presolver usr/share/minizinc/gecode_presolver/fzn_all_different_int.mzn usr/share/minizinc/gecode_presolver/fzn_all_equal_int.mzn usr/share/minizinc/gecode_presolver/fzn_among.mzn usr/share/minizinc/gecode_presolver/fzn_arg_max_int.mzn usr/share/minizinc/gecode_presolver/fzn_arg_min_int.mzn usr/share/minizinc/gecode_presolver/fzn_at_least_int.mzn usr/share/minizinc/gecode_presolver/fzn_at_least_set.mzn usr/share/minizinc/gecode_presolver/fzn_at_most_int.mzn usr/share/minizinc/gecode_presolver/fzn_at_most_set.mzn usr/share/minizinc/gecode_presolver/fzn_bin_packing.mzn usr/share/minizinc/gecode_presolver/fzn_bin_packing_capa.mzn usr/share/minizinc/gecode_presolver/fzn_bin_packing_load.mzn usr/share/minizinc/gecode_presolver/fzn_circuit.mzn usr/share/minizinc/gecode_presolver/fzn_count_eq.mzn usr/share/minizinc/gecode_presolver/fzn_count_eq_reif.mzn usr/share/minizinc/gecode_presolver/fzn_cumulative.mzn usr/share/minizinc/gecode_presolver/fzn_cumulatives.mzn usr/share/minizinc/gecode_presolver/fzn_decreasing_bool.mzn usr/share/minizinc/gecode_presolver/fzn_decreasing_int.mzn usr/share/minizinc/gecode_presolver/fzn_diffn.mzn usr/share/minizinc/gecode_presolver/fzn_disjoint.mzn usr/share/minizinc/gecode_presolver/fzn_distribute.mzn usr/share/minizinc/gecode_presolver/fzn_exactly_int.mzn usr/share/minizinc/gecode_presolver/fzn_exactly_set.mzn usr/share/minizinc/gecode_presolver/fzn_global_cardinality.mzn usr/share/minizinc/gecode_presolver/fzn_global_cardinality_closed.mzn usr/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up.mzn usr/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up_closed.mzn usr/share/minizinc/gecode_presolver/fzn_increasing_bool.mzn usr/share/minizinc/gecode_presolver/fzn_increasing_int.mzn usr/share/minizinc/gecode_presolver/fzn_int_set_channel.mzn usr/share/minizinc/gecode_presolver/fzn_inverse.mzn usr/share/minizinc/gecode_presolver/fzn_inverse_set.mzn usr/share/minizinc/gecode_presolver/fzn_lex_less_bool.mzn usr/share/minizinc/gecode_presolver/fzn_lex_less_int.mzn usr/share/minizinc/gecode_presolver/fzn_lex_lesseq_bool.mzn usr/share/minizinc/gecode_presolver/fzn_lex_lesseq_int.mzn usr/share/minizinc/gecode_presolver/fzn_link_set_to_booleans.mzn usr/share/minizinc/gecode_presolver/fzn_member_bool.mzn usr/share/minizinc/gecode_presolver/fzn_member_bool_reif.mzn usr/share/minizinc/gecode_presolver/fzn_member_int.mzn usr/share/minizinc/gecode_presolver/fzn_member_int_reif.mzn usr/share/minizinc/gecode_presolver/fzn_nvalue.mzn usr/share/minizinc/gecode_presolver/fzn_partition_set.mzn usr/share/minizinc/gecode_presolver/fzn_range.mzn usr/share/minizinc/gecode_presolver/fzn_regular.mzn usr/share/minizinc/gecode_presolver/fzn_roots.mzn usr/share/minizinc/gecode_presolver/fzn_sort.mzn usr/share/minizinc/gecode_presolver/fzn_sum_pred.mzn usr/share/minizinc/gecode_presolver/fzn_table_bool.mzn usr/share/minizinc/gecode_presolver/fzn_table_int.mzn usr/share/minizinc/gecode_presolver/fzn_value_precede_int.mzn usr/share/minizinc/gecode_presolver/fzn_value_precede_set.mzn usr/share/minizinc/gecode_presolver/gecode.mzn usr/share/minizinc/gecode_presolver/precedence.mzn usr/share/minizinc/gecode_presolver/redefinitions-2.0.mzn usr/share/minizinc/gecode_presolver/redefinitions.mzn usr/share/minizinc/linear usr/share/minizinc/linear/CHANGELOG.txt usr/share/minizinc/linear/domain_encodings.mzn usr/share/minizinc/linear/fzn_all_different_int.mzn usr/share/minizinc/linear/fzn_alldifferent_except_0.mzn usr/share/minizinc/linear/fzn_circuit.mzn usr/share/minizinc/linear/fzn_cumulative.mzn usr/share/minizinc/linear/fzn_if_then_else_float.mzn usr/share/minizinc/linear/fzn_if_then_else_int.mzn usr/share/minizinc/linear/fzn_inverse.mzn usr/share/minizinc/linear/fzn_inverse_in_range.mzn usr/share/minizinc/linear/fzn_inverse_in_range_reif.mzn usr/share/minizinc/linear/fzn_inverse_reif.mzn usr/share/minizinc/linear/fzn_lex_chain_lesseq_bool.mzn usr/share/minizinc/linear/fzn_lex_chain_lesseq_int.mzn usr/share/minizinc/linear/fzn_lex_chain_lesseq_orbitope.mzn usr/share/minizinc/linear/fzn_lex_less_bool.mzn usr/share/minizinc/linear/fzn_lex_less_float.mzn usr/share/minizinc/linear/fzn_lex_less_int.mzn usr/share/minizinc/linear/fzn_lex_lesseq_bool.mzn usr/share/minizinc/linear/fzn_lex_lesseq_float.mzn usr/share/minizinc/linear/fzn_lex_lesseq_int.mzn usr/share/minizinc/linear/fzn_regular.mzn usr/share/minizinc/linear/fzn_sliding_sum.mzn usr/share/minizinc/linear/fzn_subcircuit.mzn usr/share/minizinc/linear/fzn_table_int.mzn usr/share/minizinc/linear/options.mzn usr/share/minizinc/linear/redefinitions-2.0.2.mzn usr/share/minizinc/linear/redefinitions-2.0.mzn usr/share/minizinc/linear/redefinitions-2.2.1.mzn usr/share/minizinc/linear/redefinitions.mzn usr/share/minizinc/linear/redefs_bool_imp.mzn usr/share/minizinc/linear/redefs_bool_reifs.mzn usr/share/minizinc/linear/redefs_lin_halfreifs.mzn usr/share/minizinc/linear/redefs_lin_imp.mzn usr/share/minizinc/linear/redefs_lin_reifs.mzn usr/share/minizinc/linear/subcircuit_wDummy.mzn usr/share/minizinc/std usr/share/minizinc/std/all_different.mzn usr/share/minizinc/std/all_different_except.mzn usr/share/minizinc/std/all_different_except_0.mzn usr/share/minizinc/std/all_different_int.mzn usr/share/minizinc/std/all_different_int.mzn.deprecated.mzn usr/share/minizinc/std/all_different_set.mzn usr/share/minizinc/std/all_different_set.mzn.deprecated.mzn usr/share/minizinc/std/all_disjoint.mzn usr/share/minizinc/std/all_equal.mzn usr/share/minizinc/std/all_equal_int.mzn usr/share/minizinc/std/all_equal_int.mzn.deprecated.mzn usr/share/minizinc/std/all_equal_set.mzn usr/share/minizinc/std/all_equal_set.mzn.deprecated.mzn usr/share/minizinc/std/alldifferent.mzn usr/share/minizinc/std/alldifferent_except.mzn usr/share/minizinc/std/alldifferent_except_0.mzn usr/share/minizinc/std/alternative.mzn usr/share/minizinc/std/among.mzn usr/share/minizinc/std/among_fn.mzn usr/share/minizinc/std/analyse_all_different.mzn usr/share/minizinc/std/arg_max.mzn usr/share/minizinc/std/arg_max_bool.mzn usr/share/minizinc/std/arg_max_bool.mzn.deprecated.mzn usr/share/minizinc/std/arg_max_float.mzn usr/share/minizinc/std/arg_max_float.mzn.deprecated.mzn usr/share/minizinc/std/arg_max_int.mzn usr/share/minizinc/std/arg_max_int.mzn.deprecated.mzn usr/share/minizinc/std/arg_min.mzn usr/share/minizinc/std/arg_min_bool.mzn usr/share/minizinc/std/arg_min_bool.mzn.deprecated.mzn usr/share/minizinc/std/arg_min_float.mzn usr/share/minizinc/std/arg_min_float.mzn.deprecated.mzn usr/share/minizinc/std/arg_min_int.mzn usr/share/minizinc/std/arg_min_int.mzn.deprecated.mzn usr/share/minizinc/std/arg_sort.mzn usr/share/minizinc/std/arg_sort_float.mzn usr/share/minizinc/std/arg_sort_float.mzn.deprecated.mzn usr/share/minizinc/std/arg_sort_int.mzn usr/share/minizinc/std/arg_sort_int.mzn.deprecated.mzn usr/share/minizinc/std/arg_val.mzn usr/share/minizinc/std/at_least.mzn usr/share/minizinc/std/at_least.mzn.deprecated.mzn usr/share/minizinc/std/at_least_int.mzn usr/share/minizinc/std/at_least_set.mzn usr/share/minizinc/std/at_most.mzn usr/share/minizinc/std/at_most.mzn.deprecated.mzn usr/share/minizinc/std/at_most1.mzn usr/share/minizinc/std/at_most_int.mzn usr/share/minizinc/std/at_most_set.mzn usr/share/minizinc/std/atleast.mzn usr/share/minizinc/std/atmost.mzn usr/share/minizinc/std/atmost1.mzn usr/share/minizinc/std/bin_packing.mzn usr/share/minizinc/std/bin_packing_capa.mzn usr/share/minizinc/std/bin_packing_load.mzn usr/share/minizinc/std/bin_packing_load_fn.mzn usr/share/minizinc/std/bounded_path.mzn usr/share/minizinc/std/circuit.mzn usr/share/minizinc/std/circuit_opt.mzn usr/share/minizinc/std/connected.mzn usr/share/minizinc/std/cost_mdd.mzn usr/share/minizinc/std/cost_regular.mzn usr/share/minizinc/std/count.mzn usr/share/minizinc/std/count_eq.mzn usr/share/minizinc/std/count_fn.mzn usr/share/minizinc/std/count_geq.mzn usr/share/minizinc/std/count_gt.mzn usr/share/minizinc/std/count_leq.mzn usr/share/minizinc/std/count_lt.mzn usr/share/minizinc/std/count_neq.mzn usr/share/minizinc/std/cumulative.mzn usr/share/minizinc/std/cumulative_opt.mzn usr/share/minizinc/std/cumulatives.mzn usr/share/minizinc/std/cumulatives_opt.mzn usr/share/minizinc/std/dag.mzn usr/share/minizinc/std/decreasing.mzn usr/share/minizinc/std/decreasing_bool.mzn usr/share/minizinc/std/decreasing_bool.mzn.deprecated.mzn usr/share/minizinc/std/decreasing_float.mzn usr/share/minizinc/std/decreasing_float.mzn.deprecated.mzn usr/share/minizinc/std/decreasing_int.mzn usr/share/minizinc/std/decreasing_int.mzn.deprecated.mzn usr/share/minizinc/std/decreasing_set.mzn usr/share/minizinc/std/decreasing_set.mzn.deprecated.mzn usr/share/minizinc/std/diffn.mzn usr/share/minizinc/std/diffn_k.mzn usr/share/minizinc/std/diffn_nonstrict.mzn usr/share/minizinc/std/diffn_nonstrict_k.mzn usr/share/minizinc/std/disjoint.mzn usr/share/minizinc/std/disjunctive.mzn usr/share/minizinc/std/disjunctive_opt.mzn usr/share/minizinc/std/disjunctive_strict.mzn usr/share/minizinc/std/disjunctive_strict_opt.mzn usr/share/minizinc/std/distribute.mzn usr/share/minizinc/std/distribute_fn.mzn usr/share/minizinc/std/diversity.mzn usr/share/minizinc/std/element.mzn usr/share/minizinc/std/element_bool.mzn usr/share/minizinc/std/element_bool.mzn.deprecated.mzn usr/share/minizinc/std/element_float.mzn usr/share/minizinc/std/element_float.mzn.deprecated.mzn usr/share/minizinc/std/element_int.mzn usr/share/minizinc/std/element_int.mzn.deprecated.mzn usr/share/minizinc/std/element_set.mzn usr/share/minizinc/std/element_set.mzn.deprecated.mzn usr/share/minizinc/std/exactly.mzn usr/share/minizinc/std/exactly.mzn.deprecated.mzn usr/share/minizinc/std/exactly_int.mzn usr/share/minizinc/std/exactly_set.mzn usr/share/minizinc/std/experimental usr/share/minizinc/std/experimental/all.mzn usr/share/minizinc/std/experimental/on_restart usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_complete.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_last_val_bool.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_last_val_float.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_last_val_int.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_last_val_set.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_sol_bool.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_sol_float.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_sol_int.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_sol_set.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_status.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_uniform_float.mzn usr/share/minizinc/std/experimental/on_restart/fzn_on_restart_uniform_int.mzn usr/share/minizinc/std/experimental/on_restart.mzn usr/share/minizinc/std/experimental.mzn usr/share/minizinc/std/flatzinc_builtins.mzn usr/share/minizinc/std/fzn_all_different_int.mzn usr/share/minizinc/std/fzn_all_different_int_opt.mzn usr/share/minizinc/std/fzn_all_different_int_reif.mzn usr/share/minizinc/std/fzn_all_different_set.mzn usr/share/minizinc/std/fzn_all_different_set_reif.mzn usr/share/minizinc/std/fzn_all_disjoint.mzn usr/share/minizinc/std/fzn_all_disjoint_reif.mzn usr/share/minizinc/std/fzn_all_equal_int.mzn usr/share/minizinc/std/fzn_all_equal_int_reif.mzn usr/share/minizinc/std/fzn_all_equal_set.mzn usr/share/minizinc/std/fzn_all_equal_set_reif.mzn usr/share/minizinc/std/fzn_alldifferent_except.mzn usr/share/minizinc/std/fzn_alldifferent_except_0.mzn usr/share/minizinc/std/fzn_alldifferent_except_0_reif.mzn usr/share/minizinc/std/fzn_alldifferent_except_reif.mzn usr/share/minizinc/std/fzn_alternative.mzn usr/share/minizinc/std/fzn_alternative_reif.mzn usr/share/minizinc/std/fzn_among.mzn usr/share/minizinc/std/fzn_among_reif.mzn usr/share/minizinc/std/fzn_arg_max_bool.mzn usr/share/minizinc/std/fzn_arg_max_bool_opt.mzn usr/share/minizinc/std/fzn_arg_max_float.mzn usr/share/minizinc/std/fzn_arg_max_float_opt.mzn usr/share/minizinc/std/fzn_arg_max_int.mzn usr/share/minizinc/std/fzn_arg_max_int_opt.mzn usr/share/minizinc/std/fzn_arg_min_bool.mzn usr/share/minizinc/std/fzn_arg_min_bool_opt.mzn usr/share/minizinc/std/fzn_arg_min_float.mzn usr/share/minizinc/std/fzn_arg_min_float_opt.mzn usr/share/minizinc/std/fzn_arg_min_int.mzn usr/share/minizinc/std/fzn_arg_min_int_opt.mzn usr/share/minizinc/std/fzn_arg_sort_float.mzn usr/share/minizinc/std/fzn_arg_sort_float_reif.mzn usr/share/minizinc/std/fzn_arg_sort_int.mzn usr/share/minizinc/std/fzn_arg_sort_int_reif.mzn usr/share/minizinc/std/fzn_arg_val_bool.mzn usr/share/minizinc/std/fzn_arg_val_bool_opt.mzn usr/share/minizinc/std/fzn_arg_val_float.mzn usr/share/minizinc/std/fzn_arg_val_float_opt.mzn usr/share/minizinc/std/fzn_arg_val_int.mzn usr/share/minizinc/std/fzn_arg_val_int_opt.mzn usr/share/minizinc/std/fzn_array_int_union.mzn usr/share/minizinc/std/fzn_array_opt_int_union.mzn usr/share/minizinc/std/fzn_array_set_intersect.mzn usr/share/minizinc/std/fzn_array_set_union.mzn usr/share/minizinc/std/fzn_at_least_int.mzn usr/share/minizinc/std/fzn_at_least_int_reif.mzn usr/share/minizinc/std/fzn_at_least_set.mzn usr/share/minizinc/std/fzn_at_least_set_reif.mzn usr/share/minizinc/std/fzn_at_most1.mzn usr/share/minizinc/std/fzn_at_most1_reif.mzn usr/share/minizinc/std/fzn_at_most_int.mzn usr/share/minizinc/std/fzn_at_most_int_reif.mzn usr/share/minizinc/std/fzn_at_most_set.mzn usr/share/minizinc/std/fzn_at_most_set_reif.mzn usr/share/minizinc/std/fzn_bin_packing.mzn usr/share/minizinc/std/fzn_bin_packing_capa.mzn usr/share/minizinc/std/fzn_bin_packing_capa_opt.mzn usr/share/minizinc/std/fzn_bin_packing_capa_reif.mzn usr/share/minizinc/std/fzn_bin_packing_load.mzn usr/share/minizinc/std/fzn_bin_packing_load_opt.mzn usr/share/minizinc/std/fzn_bin_packing_load_reif.mzn usr/share/minizinc/std/fzn_bin_packing_opt.mzn usr/share/minizinc/std/fzn_bin_packing_reif.mzn usr/share/minizinc/std/fzn_bounded_dpath_enum.mzn usr/share/minizinc/std/fzn_bounded_dpath_enum_reif.mzn usr/share/minizinc/std/fzn_bounded_dpath_int.mzn usr/share/minizinc/std/fzn_bounded_dpath_int_reif.mzn usr/share/minizinc/std/fzn_bounded_path_enum.mzn usr/share/minizinc/std/fzn_bounded_path_enum_reif.mzn usr/share/minizinc/std/fzn_bounded_path_int.mzn usr/share/minizinc/std/fzn_bounded_path_int_reif.mzn usr/share/minizinc/std/fzn_circuit.mzn usr/share/minizinc/std/fzn_circuit_opt.mzn usr/share/minizinc/std/fzn_circuit_opt_reif.mzn usr/share/minizinc/std/fzn_circuit_reif.mzn usr/share/minizinc/std/fzn_connected.mzn usr/share/minizinc/std/fzn_connected_reif.mzn usr/share/minizinc/std/fzn_cost_mdd.mzn usr/share/minizinc/std/fzn_cost_mdd_reif.mzn usr/share/minizinc/std/fzn_cost_regular.mzn usr/share/minizinc/std/fzn_cost_regular_reif.mzn usr/share/minizinc/std/fzn_count_eq.mzn usr/share/minizinc/std/fzn_count_eq_bool.mzn usr/share/minizinc/std/fzn_count_eq_bool_par.mzn usr/share/minizinc/std/fzn_count_eq_bool_par_reif.mzn usr/share/minizinc/std/fzn_count_eq_bool_reif.mzn usr/share/minizinc/std/fzn_count_eq_float.mzn usr/share/minizinc/std/fzn_count_eq_float_par.mzn usr/share/minizinc/std/fzn_count_eq_float_par_reif.mzn usr/share/minizinc/std/fzn_count_eq_float_reif.mzn usr/share/minizinc/std/fzn_count_eq_par.mzn usr/share/minizinc/std/fzn_count_eq_par_reif.mzn usr/share/minizinc/std/fzn_count_eq_reif.mzn usr/share/minizinc/std/fzn_count_eq_set.mzn usr/share/minizinc/std/fzn_count_eq_set_par.mzn usr/share/minizinc/std/fzn_count_eq_set_par_reif.mzn usr/share/minizinc/std/fzn_count_eq_set_reif.mzn usr/share/minizinc/std/fzn_count_geq.mzn usr/share/minizinc/std/fzn_count_geq_bool.mzn usr/share/minizinc/std/fzn_count_geq_bool_par.mzn usr/share/minizinc/std/fzn_count_geq_bool_par_reif.mzn usr/share/minizinc/std/fzn_count_geq_bool_reif.mzn usr/share/minizinc/std/fzn_count_geq_float.mzn usr/share/minizinc/std/fzn_count_geq_float_par.mzn usr/share/minizinc/std/fzn_count_geq_float_par_reif.mzn usr/share/minizinc/std/fzn_count_geq_float_reif.mzn usr/share/minizinc/std/fzn_count_geq_par.mzn usr/share/minizinc/std/fzn_count_geq_par_reif.mzn usr/share/minizinc/std/fzn_count_geq_reif.mzn usr/share/minizinc/std/fzn_count_geq_set.mzn usr/share/minizinc/std/fzn_count_geq_set_par.mzn usr/share/minizinc/std/fzn_count_geq_set_par_reif.mzn usr/share/minizinc/std/fzn_count_geq_set_reif.mzn usr/share/minizinc/std/fzn_count_gt.mzn usr/share/minizinc/std/fzn_count_gt_bool.mzn usr/share/minizinc/std/fzn_count_gt_bool_par.mzn usr/share/minizinc/std/fzn_count_gt_bool_par_reif.mzn usr/share/minizinc/std/fzn_count_gt_bool_reif.mzn usr/share/minizinc/std/fzn_count_gt_float.mzn usr/share/minizinc/std/fzn_count_gt_float_par.mzn usr/share/minizinc/std/fzn_count_gt_float_par_reif.mzn usr/share/minizinc/std/fzn_count_gt_float_reif.mzn usr/share/minizinc/std/fzn_count_gt_par.mzn usr/share/minizinc/std/fzn_count_gt_par_reif.mzn usr/share/minizinc/std/fzn_count_gt_reif.mzn usr/share/minizinc/std/fzn_count_gt_set.mzn usr/share/minizinc/std/fzn_count_gt_set_par.mzn usr/share/minizinc/std/fzn_count_gt_set_par_reif.mzn usr/share/minizinc/std/fzn_count_gt_set_reif.mzn usr/share/minizinc/std/fzn_count_leq.mzn usr/share/minizinc/std/fzn_count_leq_bool.mzn usr/share/minizinc/std/fzn_count_leq_bool_par.mzn usr/share/minizinc/std/fzn_count_leq_bool_par_reif.mzn usr/share/minizinc/std/fzn_count_leq_bool_reif.mzn usr/share/minizinc/std/fzn_count_leq_float.mzn usr/share/minizinc/std/fzn_count_leq_float_par.mzn usr/share/minizinc/std/fzn_count_leq_float_par_reif.mzn usr/share/minizinc/std/fzn_count_leq_float_reif.mzn usr/share/minizinc/std/fzn_count_leq_par.mzn usr/share/minizinc/std/fzn_count_leq_par_reif.mzn usr/share/minizinc/std/fzn_count_leq_reif.mzn usr/share/minizinc/std/fzn_count_leq_set.mzn usr/share/minizinc/std/fzn_count_leq_set_par.mzn usr/share/minizinc/std/fzn_count_leq_set_par_reif.mzn usr/share/minizinc/std/fzn_count_leq_set_reif.mzn usr/share/minizinc/std/fzn_count_lt.mzn usr/share/minizinc/std/fzn_count_lt_bool.mzn usr/share/minizinc/std/fzn_count_lt_bool_par.mzn usr/share/minizinc/std/fzn_count_lt_bool_par_reif.mzn usr/share/minizinc/std/fzn_count_lt_bool_reif.mzn usr/share/minizinc/std/fzn_count_lt_float.mzn usr/share/minizinc/std/fzn_count_lt_float_par.mzn usr/share/minizinc/std/fzn_count_lt_float_par_reif.mzn usr/share/minizinc/std/fzn_count_lt_float_reif.mzn usr/share/minizinc/std/fzn_count_lt_par.mzn usr/share/minizinc/std/fzn_count_lt_par_reif.mzn usr/share/minizinc/std/fzn_count_lt_reif.mzn usr/share/minizinc/std/fzn_count_lt_set.mzn usr/share/minizinc/std/fzn_count_lt_set_par.mzn usr/share/minizinc/std/fzn_count_lt_set_par_reif.mzn usr/share/minizinc/std/fzn_count_lt_set_reif.mzn usr/share/minizinc/std/fzn_count_neq.mzn usr/share/minizinc/std/fzn_count_neq_bool.mzn usr/share/minizinc/std/fzn_count_neq_bool_par.mzn usr/share/minizinc/std/fzn_count_neq_bool_par_reif.mzn usr/share/minizinc/std/fzn_count_neq_bool_reif.mzn usr/share/minizinc/std/fzn_count_neq_float.mzn usr/share/minizinc/std/fzn_count_neq_float_par.mzn usr/share/minizinc/std/fzn_count_neq_float_par_reif.mzn usr/share/minizinc/std/fzn_count_neq_float_reif.mzn usr/share/minizinc/std/fzn_count_neq_par.mzn usr/share/minizinc/std/fzn_count_neq_par_reif.mzn usr/share/minizinc/std/fzn_count_neq_reif.mzn usr/share/minizinc/std/fzn_count_neq_set.mzn usr/share/minizinc/std/fzn_count_neq_set_par.mzn usr/share/minizinc/std/fzn_count_neq_set_par_reif.mzn usr/share/minizinc/std/fzn_count_neq_set_reif.mzn usr/share/minizinc/std/fzn_cumulative.mzn usr/share/minizinc/std/fzn_cumulative_opt.mzn usr/share/minizinc/std/fzn_cumulative_opt_decomp.mzn usr/share/minizinc/std/fzn_cumulative_opt_reif.mzn usr/share/minizinc/std/fzn_cumulative_reif.mzn usr/share/minizinc/std/fzn_cumulatives.mzn usr/share/minizinc/std/fzn_cumulatives_decomp.mzn usr/share/minizinc/std/fzn_cumulatives_opt.mzn usr/share/minizinc/std/fzn_dag.mzn usr/share/minizinc/std/fzn_dag_reif.mzn usr/share/minizinc/std/fzn_dconnected.mzn usr/share/minizinc/std/fzn_dconnected_reif.mzn usr/share/minizinc/std/fzn_diffn.mzn usr/share/minizinc/std/fzn_diffn_k.mzn usr/share/minizinc/std/fzn_diffn_k_reif.mzn usr/share/minizinc/std/fzn_diffn_nonstrict.mzn usr/share/minizinc/std/fzn_diffn_nonstrict_k.mzn usr/share/minizinc/std/fzn_diffn_nonstrict_k_reif.mzn usr/share/minizinc/std/fzn_diffn_nonstrict_reif.mzn usr/share/minizinc/std/fzn_diffn_reif.mzn usr/share/minizinc/std/fzn_disjoint.mzn usr/share/minizinc/std/fzn_disjoint_reif.mzn usr/share/minizinc/std/fzn_disjunctive.mzn usr/share/minizinc/std/fzn_disjunctive_opt.mzn usr/share/minizinc/std/fzn_disjunctive_opt_reif.mzn usr/share/minizinc/std/fzn_disjunctive_reif.mzn usr/share/minizinc/std/fzn_disjunctive_strict.mzn usr/share/minizinc/std/fzn_disjunctive_strict_opt.mzn usr/share/minizinc/std/fzn_disjunctive_strict_opt_decomp.mzn usr/share/minizinc/std/fzn_disjunctive_strict_opt_reif.mzn usr/share/minizinc/std/fzn_disjunctive_strict_reif.mzn usr/share/minizinc/std/fzn_distribute.mzn usr/share/minizinc/std/fzn_distribute_reif.mzn usr/share/minizinc/std/fzn_dpath_enum.mzn usr/share/minizinc/std/fzn_dpath_enum_reif.mzn usr/share/minizinc/std/fzn_dpath_int.mzn usr/share/minizinc/std/fzn_dpath_int_reif.mzn usr/share/minizinc/std/fzn_dreachable_enum.mzn usr/share/minizinc/std/fzn_dreachable_enum_reif.mzn usr/share/minizinc/std/fzn_dreachable_int.mzn usr/share/minizinc/std/fzn_dreachable_int_reif.mzn usr/share/minizinc/std/fzn_dsteiner.mzn usr/share/minizinc/std/fzn_dsteiner_reif.mzn usr/share/minizinc/std/fzn_dtree_enum.mzn usr/share/minizinc/std/fzn_dtree_enum_reif.mzn usr/share/minizinc/std/fzn_dtree_int.mzn usr/share/minizinc/std/fzn_dtree_int_reif.mzn usr/share/minizinc/std/fzn_dwst.mzn usr/share/minizinc/std/fzn_dwst_reif.mzn usr/share/minizinc/std/fzn_exactly_int.mzn usr/share/minizinc/std/fzn_exactly_int_reif.mzn usr/share/minizinc/std/fzn_exactly_set.mzn usr/share/minizinc/std/fzn_exactly_set_reif.mzn usr/share/minizinc/std/fzn_geost.mzn usr/share/minizinc/std/fzn_geost_bb.mzn usr/share/minizinc/std/fzn_geost_bb_reif.mzn usr/share/minizinc/std/fzn_geost_nonoverlap_k.mzn usr/share/minizinc/std/fzn_geost_nonoverlap_k_reif.mzn usr/share/minizinc/std/fzn_geost_reif.mzn usr/share/minizinc/std/fzn_geost_smallest_bb.mzn usr/share/minizinc/std/fzn_geost_smallest_bb_reif.mzn usr/share/minizinc/std/fzn_global_cardinality.mzn usr/share/minizinc/std/fzn_global_cardinality_closed.mzn usr/share/minizinc/std/fzn_global_cardinality_closed_opt.mzn usr/share/minizinc/std/fzn_global_cardinality_closed_reif.mzn usr/share/minizinc/std/fzn_global_cardinality_closed_set.mzn usr/share/minizinc/std/fzn_global_cardinality_low_up.mzn usr/share/minizinc/std/fzn_global_cardinality_low_up_closed.mzn usr/share/minizinc/std/fzn_global_cardinality_low_up_closed_opt.mzn usr/share/minizinc/std/fzn_global_cardinality_low_up_closed_reif.mzn usr/share/minizinc/std/fzn_global_cardinality_low_up_closed_set.mzn usr/share/minizinc/std/fzn_global_cardinality_low_up_opt.mzn usr/share/minizinc/std/fzn_global_cardinality_low_up_reif.mzn usr/share/minizinc/std/fzn_global_cardinality_low_up_set.mzn usr/share/minizinc/std/fzn_global_cardinality_opt.mzn usr/share/minizinc/std/fzn_global_cardinality_reif.mzn usr/share/minizinc/std/fzn_global_cardinality_set.mzn usr/share/minizinc/std/fzn_if_then_else_bool.mzn usr/share/minizinc/std/fzn_if_then_else_float.mzn usr/share/minizinc/std/fzn_if_then_else_int.mzn usr/share/minizinc/std/fzn_if_then_else_opt_bool.mzn usr/share/minizinc/std/fzn_if_then_else_opt_float.mzn usr/share/minizinc/std/fzn_if_then_else_opt_int.mzn usr/share/minizinc/std/fzn_if_then_else_partiality.mzn usr/share/minizinc/std/fzn_if_then_else_set.mzn usr/share/minizinc/std/fzn_if_then_else_var_bool.mzn usr/share/minizinc/std/fzn_if_then_else_var_float.mzn usr/share/minizinc/std/fzn_if_then_else_var_int.mzn usr/share/minizinc/std/fzn_if_then_else_var_opt_bool.mzn usr/share/minizinc/std/fzn_if_then_else_var_opt_float.mzn usr/share/minizinc/std/fzn_if_then_else_var_opt_int.mzn usr/share/minizinc/std/fzn_if_then_else_var_set.mzn usr/share/minizinc/std/fzn_increasing_bool.mzn usr/share/minizinc/std/fzn_increasing_bool_opt.mzn usr/share/minizinc/std/fzn_increasing_bool_reif.mzn usr/share/minizinc/std/fzn_increasing_float.mzn usr/share/minizinc/std/fzn_increasing_float_opt.mzn usr/share/minizinc/std/fzn_increasing_float_opt_reif.mzn usr/share/minizinc/std/fzn_increasing_float_reif.mzn usr/share/minizinc/std/fzn_increasing_int.mzn usr/share/minizinc/std/fzn_increasing_int_opt.mzn usr/share/minizinc/std/fzn_increasing_int_opt_reif.mzn usr/share/minizinc/std/fzn_increasing_int_reif.mzn usr/share/minizinc/std/fzn_increasing_set.mzn usr/share/minizinc/std/fzn_increasing_set_reif.mzn usr/share/minizinc/std/fzn_int_set_channel.mzn usr/share/minizinc/std/fzn_int_set_channel_reif.mzn usr/share/minizinc/std/fzn_inverse.mzn usr/share/minizinc/std/fzn_inverse_in_range.mzn usr/share/minizinc/std/fzn_inverse_in_range_reif.mzn usr/share/minizinc/std/fzn_inverse_opt.mzn usr/share/minizinc/std/fzn_inverse_reif.mzn usr/share/minizinc/std/fzn_inverse_set.mzn usr/share/minizinc/std/fzn_inverse_set_reif.mzn usr/share/minizinc/std/fzn_knapsack.mzn usr/share/minizinc/std/fzn_knapsack_reif.mzn usr/share/minizinc/std/fzn_lex2.mzn usr/share/minizinc/std/fzn_lex2_reif.mzn usr/share/minizinc/std/fzn_lex_chain_less_bool.mzn usr/share/minizinc/std/fzn_lex_chain_less_bool_reif.mzn usr/share/minizinc/std/fzn_lex_chain_less_int.mzn usr/share/minizinc/std/fzn_lex_chain_less_int_reif.mzn usr/share/minizinc/std/fzn_lex_chain_lesseq_bool.mzn usr/share/minizinc/std/fzn_lex_chain_lesseq_bool_reif.mzn usr/share/minizinc/std/fzn_lex_chain_lesseq_int.mzn usr/share/minizinc/std/fzn_lex_chain_lesseq_int_reif.mzn usr/share/minizinc/std/fzn_lex_chain_lesseq_orbitope.mzn usr/share/minizinc/std/fzn_lex_chain_lesseq_orbitope_reif.mzn usr/share/minizinc/std/fzn_lex_less_bool.mzn usr/share/minizinc/std/fzn_lex_less_bool_reif.mzn usr/share/minizinc/std/fzn_lex_less_float.mzn usr/share/minizinc/std/fzn_lex_less_float_reif.mzn usr/share/minizinc/std/fzn_lex_less_int.mzn usr/share/minizinc/std/fzn_lex_less_int_reif.mzn usr/share/minizinc/std/fzn_lex_less_set.mzn usr/share/minizinc/std/fzn_lex_less_set_reif.mzn usr/share/minizinc/std/fzn_lex_lesseq_bool.mzn usr/share/minizinc/std/fzn_lex_lesseq_bool_reif.mzn usr/share/minizinc/std/fzn_lex_lesseq_float.mzn usr/share/minizinc/std/fzn_lex_lesseq_float_reif.mzn usr/share/minizinc/std/fzn_lex_lesseq_int.mzn usr/share/minizinc/std/fzn_lex_lesseq_int_reif.mzn usr/share/minizinc/std/fzn_lex_lesseq_set.mzn usr/share/minizinc/std/fzn_lex_lesseq_set_reif.mzn usr/share/minizinc/std/fzn_link_set_to_booleans.mzn usr/share/minizinc/std/fzn_link_set_to_booleans_reif.mzn usr/share/minizinc/std/fzn_mdd.mzn usr/share/minizinc/std/fzn_mdd_nondet.mzn usr/share/minizinc/std/fzn_mdd_nondet_reif.mzn usr/share/minizinc/std/fzn_mdd_reif.mzn usr/share/minizinc/std/fzn_member_bool.mzn usr/share/minizinc/std/fzn_member_bool_reif.mzn usr/share/minizinc/std/fzn_member_float.mzn usr/share/minizinc/std/fzn_member_float_reif.mzn usr/share/minizinc/std/fzn_member_int.mzn usr/share/minizinc/std/fzn_member_int_reif.mzn usr/share/minizinc/std/fzn_member_set.mzn usr/share/minizinc/std/fzn_member_set_reif.mzn usr/share/minizinc/std/fzn_network_flow.mzn usr/share/minizinc/std/fzn_network_flow_cost.mzn usr/share/minizinc/std/fzn_network_flow_cost_reif.mzn usr/share/minizinc/std/fzn_network_flow_reif.mzn usr/share/minizinc/std/fzn_neural_net.mzn usr/share/minizinc/std/fzn_neural_net_reif.mzn usr/share/minizinc/std/fzn_nvalue.mzn usr/share/minizinc/std/fzn_nvalue_reif.mzn usr/share/minizinc/std/fzn_partition_set.mzn usr/share/minizinc/std/fzn_partition_set_reif.mzn usr/share/minizinc/std/fzn_path_enum.mzn usr/share/minizinc/std/fzn_path_enum_reif.mzn usr/share/minizinc/std/fzn_path_int.mzn usr/share/minizinc/std/fzn_path_int_reif.mzn usr/share/minizinc/std/fzn_piecewise_linear.mzn usr/share/minizinc/std/fzn_piecewise_linear_non_continuous.mzn usr/share/minizinc/std/fzn_piecewise_linear_non_continuous_reif.mzn usr/share/minizinc/std/fzn_piecewise_linear_reif.mzn usr/share/minizinc/std/fzn_range.mzn usr/share/minizinc/std/fzn_range_reif.mzn usr/share/minizinc/std/fzn_reachable_enum.mzn usr/share/minizinc/std/fzn_reachable_enum_reif.mzn usr/share/minizinc/std/fzn_reachable_int.mzn usr/share/minizinc/std/fzn_reachable_int_reif.mzn usr/share/minizinc/std/fzn_regular.mzn usr/share/minizinc/std/fzn_regular_nfa.mzn usr/share/minizinc/std/fzn_regular_nfa_reif.mzn usr/share/minizinc/std/fzn_regular_nfa_set.mzn usr/share/minizinc/std/fzn_regular_nfa_set_reif.mzn usr/share/minizinc/std/fzn_regular_regexp.mzn usr/share/minizinc/std/fzn_regular_reif.mzn usr/share/minizinc/std/fzn_regular_set.mzn usr/share/minizinc/std/fzn_regular_set.mzn.deprecated.mzn usr/share/minizinc/std/fzn_regular_set_reif.mzn usr/share/minizinc/std/fzn_roots.mzn usr/share/minizinc/std/fzn_roots_reif.mzn usr/share/minizinc/std/fzn_seq_precede_chain_int.mzn usr/share/minizinc/std/fzn_seq_precede_chain_int_reif.mzn usr/share/minizinc/std/fzn_seq_precede_chain_set.mzn usr/share/minizinc/std/fzn_seq_precede_chain_set_reif.mzn usr/share/minizinc/std/fzn_set_member.mzn usr/share/minizinc/std/fzn_set_member_reif.mzn usr/share/minizinc/std/fzn_sliding_among_bool.mzn usr/share/minizinc/std/fzn_sliding_among_int.mzn usr/share/minizinc/std/fzn_sliding_sum.mzn usr/share/minizinc/std/fzn_sliding_sum_reif.mzn usr/share/minizinc/std/fzn_sort.mzn usr/share/minizinc/std/fzn_sort_reif.mzn usr/share/minizinc/std/fzn_span.mzn usr/share/minizinc/std/fzn_span_reif.mzn usr/share/minizinc/std/fzn_steiner.mzn usr/share/minizinc/std/fzn_steiner_reif.mzn usr/share/minizinc/std/fzn_strict_lex2.mzn usr/share/minizinc/std/fzn_strict_lex2_reif.mzn usr/share/minizinc/std/fzn_strictly_increasing_float.mzn usr/share/minizinc/std/fzn_strictly_increasing_float_opt.mzn usr/share/minizinc/std/fzn_strictly_increasing_float_opt_reif.mzn usr/share/minizinc/std/fzn_strictly_increasing_float_reif.mzn usr/share/minizinc/std/fzn_strictly_increasing_int.mzn usr/share/minizinc/std/fzn_strictly_increasing_int_opt.mzn usr/share/minizinc/std/fzn_strictly_increasing_int_opt_reif.mzn usr/share/minizinc/std/fzn_strictly_increasing_int_reif.mzn usr/share/minizinc/std/fzn_strictly_increasing_set.mzn usr/share/minizinc/std/fzn_strictly_increasing_set_reif.mzn usr/share/minizinc/std/fzn_subcircuit.mzn usr/share/minizinc/std/fzn_subcircuit_reif.mzn usr/share/minizinc/std/fzn_subgraph_enum.mzn usr/share/minizinc/std/fzn_subgraph_enum_reif.mzn usr/share/minizinc/std/fzn_subgraph_int.mzn usr/share/minizinc/std/fzn_subgraph_int_reif.mzn usr/share/minizinc/std/fzn_sum_pred.mzn usr/share/minizinc/std/fzn_sum_pred_reif.mzn usr/share/minizinc/std/fzn_sum_set.mzn usr/share/minizinc/std/fzn_sum_set_reif.mzn usr/share/minizinc/std/fzn_symmetric_all_different.mzn usr/share/minizinc/std/fzn_symmetric_all_different_reif.mzn usr/share/minizinc/std/fzn_table_bool.mzn usr/share/minizinc/std/fzn_table_bool_reif.mzn usr/share/minizinc/std/fzn_table_int.mzn usr/share/minizinc/std/fzn_table_int_opt.mzn usr/share/minizinc/std/fzn_table_int_reif.mzn usr/share/minizinc/std/fzn_tree_enum.mzn usr/share/minizinc/std/fzn_tree_enum_reif.mzn usr/share/minizinc/std/fzn_tree_int.mzn usr/share/minizinc/std/fzn_tree_int_reif.mzn usr/share/minizinc/std/fzn_value_precede_chain_int.mzn usr/share/minizinc/std/fzn_value_precede_chain_int_opt.mzn usr/share/minizinc/std/fzn_value_precede_chain_int_reif.mzn usr/share/minizinc/std/fzn_value_precede_chain_set.mzn usr/share/minizinc/std/fzn_value_precede_chain_set_reif.mzn usr/share/minizinc/std/fzn_value_precede_int.mzn usr/share/minizinc/std/fzn_value_precede_int_opt.mzn usr/share/minizinc/std/fzn_value_precede_int_reif.mzn usr/share/minizinc/std/fzn_value_precede_set.mzn usr/share/minizinc/std/fzn_value_precede_set_reif.mzn usr/share/minizinc/std/fzn_var_perm_sym.mzn usr/share/minizinc/std/fzn_var_sqr_sym.mzn usr/share/minizinc/std/fzn_write.mzn usr/share/minizinc/std/fzn_write_reif.mzn usr/share/minizinc/std/fzn_writes.mzn usr/share/minizinc/std/fzn_writes_reif.mzn usr/share/minizinc/std/fzn_writes_seq.mzn usr/share/minizinc/std/fzn_writes_seq_reif.mzn usr/share/minizinc/std/fzn_wst.mzn usr/share/minizinc/std/fzn_wst_reif.mzn usr/share/minizinc/std/geost.mzn usr/share/minizinc/std/global_cardinality.mzn usr/share/minizinc/std/global_cardinality_closed.mzn usr/share/minizinc/std/global_cardinality_closed_fn.mzn usr/share/minizinc/std/global_cardinality_fn.mzn usr/share/minizinc/std/global_cardinality_low_up.deprecated.mzn usr/share/minizinc/std/global_cardinality_low_up.mzn usr/share/minizinc/std/global_cardinality_low_up_closed.deprecated.mzn usr/share/minizinc/std/global_cardinality_low_up_closed.mzn usr/share/minizinc/std/globals.mzn usr/share/minizinc/std/ide usr/share/minizinc/std/ide/vis.mzn usr/share/minizinc/std/ide/vis_bar.html usr/share/minizinc/std/ide/vis_gantt.html usr/share/minizinc/std/ide/vis_geost.html usr/share/minizinc/std/ide/vis_network.html usr/share/minizinc/std/ide/vis_scatter.html usr/share/minizinc/std/increasing.mzn usr/share/minizinc/std/increasing_bool.mzn usr/share/minizinc/std/increasing_bool.mzn.deprecated.mzn usr/share/minizinc/std/increasing_float.mzn usr/share/minizinc/std/increasing_float.mzn.deprecated.mzn usr/share/minizinc/std/increasing_int.mzn usr/share/minizinc/std/increasing_int.mzn.deprecated.mzn usr/share/minizinc/std/increasing_set.mzn usr/share/minizinc/std/increasing_set.mzn.deprecated.mzn usr/share/minizinc/std/int_set_channel.mzn usr/share/minizinc/std/inverse.mzn usr/share/minizinc/std/inverse_fn.mzn usr/share/minizinc/std/inverse_in_range.mzn usr/share/minizinc/std/inverse_set.mzn usr/share/minizinc/std/knapsack.mzn usr/share/minizinc/std/lex2.mzn usr/share/minizinc/std/lex2_strict.mzn usr/share/minizinc/std/lex_chain_greater.mzn usr/share/minizinc/std/lex_chain_greatereq.mzn usr/share/minizinc/std/lex_chain_greatereq_orbitope.mzn usr/share/minizinc/std/lex_chain_less.mzn usr/share/minizinc/std/lex_chain_less_bool.mzn usr/share/minizinc/std/lex_chain_less_bool.mzn.deprecated.mzn usr/share/minizinc/std/lex_chain_less_int.mzn usr/share/minizinc/std/lex_chain_less_int.mzn.deprecated.mzn usr/share/minizinc/std/lex_chain_lesseq.mzn usr/share/minizinc/std/lex_chain_lesseq_bool.mzn usr/share/minizinc/std/lex_chain_lesseq_bool.mzn.deprecated.mzn usr/share/minizinc/std/lex_chain_lesseq_int.mzn usr/share/minizinc/std/lex_chain_lesseq_int.mzn.deprecated.mzn usr/share/minizinc/std/lex_chain_lesseq_orbitope.mzn usr/share/minizinc/std/lex_greater.mzn usr/share/minizinc/std/lex_greatereq.mzn usr/share/minizinc/std/lex_less.mzn usr/share/minizinc/std/lex_less_bool.mzn usr/share/minizinc/std/lex_less_bool.mzn.deprecated.mzn usr/share/minizinc/std/lex_less_float.mzn usr/share/minizinc/std/lex_less_float.mzn.deprecated.mzn usr/share/minizinc/std/lex_less_int.mzn usr/share/minizinc/std/lex_less_int.mzn.deprecated.mzn usr/share/minizinc/std/lex_less_set.mzn usr/share/minizinc/std/lex_less_set.mzn.deprecated.mzn usr/share/minizinc/std/lex_lesseq.mzn usr/share/minizinc/std/lex_lesseq_bool.mzn usr/share/minizinc/std/lex_lesseq_bool.mzn.deprecated.mzn usr/share/minizinc/std/lex_lesseq_float.mzn usr/share/minizinc/std/lex_lesseq_float.mzn.deprecated.mzn usr/share/minizinc/std/lex_lesseq_int.mzn usr/share/minizinc/std/lex_lesseq_int.mzn.deprecated.mzn usr/share/minizinc/std/lex_lesseq_set.mzn usr/share/minizinc/std/lex_lesseq_set.mzn.deprecated.mzn usr/share/minizinc/std/link_set_to_booleans.mzn usr/share/minizinc/std/maximum.mzn usr/share/minizinc/std/mdd.mzn usr/share/minizinc/std/mdd_nondet.mzn usr/share/minizinc/std/member.mzn usr/share/minizinc/std/member_bool.mzn usr/share/minizinc/std/member_bool.mzn.deprecated.mzn usr/share/minizinc/std/member_float.mzn usr/share/minizinc/std/member_float.mzn.deprecated.mzn usr/share/minizinc/std/member_int.mzn usr/share/minizinc/std/member_int.mzn.deprecated.mzn usr/share/minizinc/std/member_set.mzn usr/share/minizinc/std/member_set.mzn.deprecated.mzn usr/share/minizinc/std/minimum.mzn usr/share/minizinc/std/network_flow.mzn usr/share/minizinc/std/neural_net.mzn usr/share/minizinc/std/nosets.mzn usr/share/minizinc/std/nvalue.mzn usr/share/minizinc/std/nvalue_fn.mzn usr/share/minizinc/std/output usr/share/minizinc/std/output/array2d_bool.mzn usr/share/minizinc/std/output/gantt.mzn usr/share/minizinc/std/output.mzn usr/share/minizinc/std/partition_set.mzn usr/share/minizinc/std/path.mzn usr/share/minizinc/std/piecewise_linear.mzn usr/share/minizinc/std/piecewise_linear_non_continuous.mzn usr/share/minizinc/std/range.mzn usr/share/minizinc/std/range_fn.mzn usr/share/minizinc/std/reachable.mzn usr/share/minizinc/std/redefinitions-2.0.2.mzn usr/share/minizinc/std/redefinitions-2.0.mzn usr/share/minizinc/std/redefinitions-2.1.1.mzn usr/share/minizinc/std/redefinitions-2.1.mzn usr/share/minizinc/std/redefinitions-2.2.1.mzn usr/share/minizinc/std/redefinitions-2.3.3.mzn usr/share/minizinc/std/redefinitions-2.5.2.mzn usr/share/minizinc/std/redefinitions-2.7.1.mzn usr/share/minizinc/std/redefinitions.mzn usr/share/minizinc/std/regular.mzn usr/share/minizinc/std/regular_nfa.mzn usr/share/minizinc/std/regular_regexp.mzn usr/share/minizinc/std/regular_set.mzn usr/share/minizinc/std/roots.mzn usr/share/minizinc/std/roots_fn.mzn usr/share/minizinc/std/seq_precede_chain.mzn usr/share/minizinc/std/set_member.mzn usr/share/minizinc/std/sliding_among.mzn usr/share/minizinc/std/sliding_sum.mzn usr/share/minizinc/std/solver_redefinitions.mzn usr/share/minizinc/std/sort.mzn usr/share/minizinc/std/sort_fn.mzn usr/share/minizinc/std/span.mzn usr/share/minizinc/std/stdlib usr/share/minizinc/std/stdlib/stdlib_ann.mzn usr/share/minizinc/std/stdlib/stdlib_array.mzn usr/share/minizinc/std/stdlib/stdlib_coercion.mzn usr/share/minizinc/std/stdlib/stdlib_compare.mzn usr/share/minizinc/std/stdlib/stdlib_debug.mzn usr/share/minizinc/std/stdlib/stdlib_enum.mzn usr/share/minizinc/std/stdlib/stdlib_internal.mzn usr/share/minizinc/std/stdlib/stdlib_ite.mzn usr/share/minizinc/std/stdlib/stdlib_language.mzn usr/share/minizinc/std/stdlib/stdlib_logic.mzn usr/share/minizinc/std/stdlib/stdlib_math.mzn usr/share/minizinc/std/stdlib/stdlib_opt.mzn usr/share/minizinc/std/stdlib/stdlib_random.mzn usr/share/minizinc/std/stdlib/stdlib_reflect.mzn usr/share/minizinc/std/stdlib/stdlib_set.mzn usr/share/minizinc/std/stdlib/stdlib_sort.mzn usr/share/minizinc/std/stdlib/stdlib_string.mzn usr/share/minizinc/std/stdlib.mzn usr/share/minizinc/std/steiner.mzn usr/share/minizinc/std/strict_lex2.mzn usr/share/minizinc/std/strictly_decreasing.mzn usr/share/minizinc/std/strictly_increasing.mzn usr/share/minizinc/std/subcircuit.mzn usr/share/minizinc/std/subgraph.mzn usr/share/minizinc/std/sum_pred.mzn usr/share/minizinc/std/sum_set.mzn usr/share/minizinc/std/symmetric_all_different.mzn usr/share/minizinc/std/table.mzn usr/share/minizinc/std/table_bool.mzn usr/share/minizinc/std/table_bool.mzn.deprecated.mzn usr/share/minizinc/std/table_int.mzn usr/share/minizinc/std/table_int.mzn.deprecated.mzn usr/share/minizinc/std/tree.mzn usr/share/minizinc/std/value_precede.mzn usr/share/minizinc/std/value_precede_chain.mzn usr/share/minizinc/std/value_precede_chain_int.mzn usr/share/minizinc/std/value_precede_chain_int.mzn.deprecated.mzn usr/share/minizinc/std/value_precede_chain_set.mzn usr/share/minizinc/std/value_precede_chain_set.mzn.deprecated.mzn usr/share/minizinc/std/value_precede_int.mzn usr/share/minizinc/std/value_precede_int.mzn.deprecated.mzn usr/share/minizinc/std/value_precede_set.mzn usr/share/minizinc/std/value_precede_set.mzn.deprecated.mzn usr/share/minizinc/std/var_perm_sym.mzn usr/share/minizinc/std/var_sqr_sym.mzn usr/share/minizinc/std/weighted_spanning_tree.mzn usr/share/minizinc/std/write.mzn usr/share/minizinc/std/writes.mzn usr/share/minizinc/std/writes_seq.mzn var var/lib var/lib/minizinc