Packages / openSUSE Leap 16.0 / Productivity/Scientific/Math / minizinc
Package: minizinc (2.8.7-bp160.1.12)
External Resources:
Homepage: [www.minizinc.org]
Similar packages:
- [libminizinc-devel]
A high-level constraint modelling language
A high-level constraint modelling language
Other Packages Related to minizinc:
dep: /sbin/ldconfig
Package not available
dep: /sbin/ldconfig
Package not available
dep: ld-linux-aarch64.so.1()(64bit)
Package not available
dep: ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
Package not available
dep: libgcc_s.so.1()(64bit)
Package not available
dep: libgcc_s.so.1(GCC_3.0)(64bit)
Package not available
dep: libgcc_s.so.1(GCC_3.3.1)(64bit)
Package not available
dep: libgecodedriver.so.51()(64bit)
Package not available
dep: libgecodefloat.so.51()(64bit)
Package not available
dep: libgecodeint.so.51()(64bit)
Package not available
dep: libgecodekernel.so.51()(64bit)
Package not available
dep: libgecodeminimodel.so.51()(64bit)
Package not available
dep: libgecodesearch.so.51()(64bit)
Package not available
dep: libgecodeset.so.51()(64bit)
Package not available
dep: libgecodesupport.so.51()(64bit)
Package not available
dep: libm.so.6()(64bit)
Package not available
dep: libm.so.6(GLIBC_2.17)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.23)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.29)(64bit)
Package not available
dep: libstdc++.so.6()(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.1)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.11)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.13)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.2)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.3)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.5)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.8)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.22)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
Package not available
dep: libc.so.6(GLIBC_2.38)(64bit)
Package not available
rec: [gecode-minizinc]
Gecode minizinc solver
Download minizinc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| aarch64 | 1.8 MiB | 5.8 MiB | [list of files] |
| ppc64le | 2.0 MiB | 6.7 MiB | [list of files] |
| s390x | 2.0 MiB | 6.1 MiB | [list of files] |
| x86_64 | 2.0 MiB | 6.1 MiB | [list of files] |
Rutas de archivos del paquete (775)
Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.
- /usr/bin/minizinc
- /usr/bin/mzn2doc
- /usr/lib64/libmzn.so
- /usr/share/doc/packages/minizinc
- /usr/share/doc/packages/minizinc/changes.rst
- /usr/share/doc/packages/minizinc/README.md
- /usr/share/licenses/minizinc
- /usr/share/licenses/minizinc/LICENSE.txt
- /usr/share/minizinc
- /usr/share/minizinc/geas
- /usr/share/minizinc/geas/fzn_alldifferent_except_0.mzn
- /usr/share/minizinc/geas/fzn_all_different_int.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_capa.mzn
- /usr/share/minizinc/gecode_presolver/fzn_bin_packing_load.mzn
- /usr/share/minizinc/gecode_presolver/fzn_bin_packing.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_closed.mzn
- /usr/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up_closed.mzn
- /usr/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up.mzn
- /usr/share/minizinc/gecode_presolver/fzn_global_cardinality.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_lesseq_bool.mzn
- /usr/share/minizinc/gecode_presolver/fzn_lex_lesseq_int.mzn
- /usr/share/minizinc/gecode_presolver/fzn_lex_less_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_alldifferent_except_0.mzn
- /usr/share/minizinc/linear/fzn_all_different_int.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_in_range.mzn
- /usr/share/minizinc/linear/fzn_inverse_in_range_reif.mzn
- /usr/share/minizinc/linear/fzn_inverse.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_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_lex_less_float.mzn
- /usr/share/minizinc/linear/fzn_lex_less_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/Preferences.json
- /usr/share/minizinc/std
- /usr/share/minizinc/std/all_different_except_0.mzn
- /usr/share/minizinc/std/alldifferent_except_0.mzn
- /usr/share/minizinc/std/all_different_except.mzn
- /usr/share/minizinc/std/alldifferent_except.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.mzn
- /usr/share/minizinc/std/alldifferent.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_int.mzn
- /usr/share/minizinc/std/all_equal_int.mzn.deprecated.mzn
- /usr/share/minizinc/std/all_equal.mzn
- /usr/share/minizinc/std/all_equal_set.mzn
- /usr/share/minizinc/std/all_equal_set.mzn.deprecated.mzn
- /usr/share/minizinc/std/alternative.mzn
- /usr/share/minizinc/std/among_fn.mzn
- /usr/share/minizinc/std/among.mzn
- /usr/share/minizinc/std/analyse_all_different.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_max.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_min.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_sort.mzn
- /usr/share/minizinc/std/arg_val.mzn
- /usr/share/minizinc/std/at_least_int.mzn
- /usr/share/minizinc/std/at_least.mzn
- /usr/share/minizinc/std/atleast.mzn
- /usr/share/minizinc/std/at_least.mzn.deprecated.mzn
- /usr/share/minizinc/std/at_least_set.mzn
- /usr/share/minizinc/std/at_most1.mzn
- /usr/share/minizinc/std/atmost1.mzn
- /usr/share/minizinc/std/at_most_int.mzn
- /usr/share/minizinc/std/at_most.mzn
- /usr/share/minizinc/std/atmost.mzn
- /usr/share/minizinc/std/at_most.mzn.deprecated.mzn
- /usr/share/minizinc/std/at_most_set.mzn
- /usr/share/minizinc/std/bin_packing_capa.mzn
- /usr/share/minizinc/std/bin_packing_load_fn.mzn
- /usr/share/minizinc/std/bin_packing_load.mzn
- /usr/share/minizinc/std/bin_packing.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_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.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/dag.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.mzn
- /usr/share/minizinc/std/decreasing_set.mzn
- /usr/share/minizinc/std/decreasing_set.mzn.deprecated.mzn
- /usr/share/minizinc/std/diffn_k.mzn
- /usr/share/minizinc/std/diffn.mzn
- /usr/share/minizinc/std/diffn_nonstrict_k.mzn
- /usr/share/minizinc/std/diffn_nonstrict.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_fn.mzn
- /usr/share/minizinc/std/distribute.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.mzn
- /usr/share/minizinc/std/element_set.mzn
- /usr/share/minizinc/std/element_set.mzn.deprecated.mzn
- /usr/share/minizinc/std/exactly_int.mzn
- /usr/share/minizinc/std/exactly.mzn
- /usr/share/minizinc/std/exactly.mzn.deprecated.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.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/flatzinc_builtins.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.mzn
- /usr/share/minizinc/std/fzn_alldifferent_except_reif.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
Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
