Linux workstation

openSUSE Leap 16.0 native package

minizinc

A high-level constraint modelling language

Packages / openSUSE Leap 16.0 / Productivity/Scientific/Math / minizinc

[Source: libminizinc]

Package: minizinc (2.8.7-bp160.1.12)

External Resources:

Homepage: [www.minizinc.org]

Similar packages:

A high-level constraint modelling language

You can use MiniZinc to model constraint satisfaction and optimisation problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.

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

Download minizinc

ArchitecturePackage SizeInstalled SizeFiles
aarch641.8 MiB5.8 MiB[list of files]
ppc64le2.0 MiB6.7 MiB[list of files]
s390x2.0 MiB6.1 MiB[list of files]
x86_642.0 MiB6.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

Usar este paquete

OpenFactory puede arrancar este sistema operativo en una máquina virtual del navegador, o iniciar una construcción que incluye el nombre nativo del paquete de este registro.

Versiones, suites y repositorios

Cada fila es metadato del índice de paquetes para una versión, arquitectura, suite y repositorio. Nombres, URL y tamaños vienen de la fuente; un enlace es un punto de descarga que puede cambiar, no una redistribución de OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2.8.7-bp160.1.12leap-16.0 / ossaarch64openSUSE Leap 16.0 · OSS · multi-architecture1.8 MiB5.8 MiBaarch64/minizinc-2.8.7-bp160.1.12.aarch64.rpm
2.8.7-bp160.1.12leap-16.0 / ossppc64leopenSUSE Leap 16.0 · OSS · multi-architecture2.0 MiB6.7 MiBppc64le/minizinc-2.8.7-bp160.1.12.ppc64le.rpm
2.8.7-bp160.1.12leap-16.0 / osss390xopenSUSE Leap 16.0 · OSS · multi-architecture2.0 MiB6.1 MiBs390x/minizinc-2.8.7-bp160.1.12.s390x.rpm
2.8.7-bp160.1.12leap-16.0 / ossx86_64openSUSE Leap 16.0 · OSS · multi-architecture2.0 MiB6.1 MiBx86_64/minizinc-2.8.7-bp160.1.12.x86_64.rpm

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Sumas de comprobación y fechas de observación

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

2.8.7-bp160.1.12 / aarch64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: aad8ad2bb8aa49d563111968e44905f39b4c219c509c834f091b6a8066fa786d700fe76ec8a21c47309d3ef8a015c366379e0c2faeeb63972629c410089d1b0c

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

2.8.7-bp160.1.12 / ppc64leObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: ff0851c63d156c438352c0276aa41711bb7eb989f8807aea8498ad7c10320ef8868a75ee1c1a48a2984c49274373b0b1c6be75bf8dddc63ece2b825df8f32f24

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

2.8.7-bp160.1.12 / s390xObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 0a91580a17dbbb579a4e06aaacd17c3d35b20d7573140764c9c50550a629061be1280c7a94fd25141cc59e68e35d81516d8ac9aca4e9ceab4883c717d264bdc8

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

2.8.7-bp160.1.12 / x86_64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 540f5376d4cb183e77e67a80dcd083499a1871faab98625e1b375ef72149d65a6de43fb0da5bada6e7d723763fa171b037009e9bc9e6b77a4725385f76ed93ee

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Completitud del registro

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description
25/25
Artifact path and source digest
25/25
Dependency metadata
15/15
Package-file index
15/15
Homepage
5/5
License text
5/5
Source package or maintainer
10/10

Recorded total: 100/100

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fuentes y procedencia

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • Authoritative source; repository metadata signature verified, revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified

minizinc Package for openSUSE Leap 16.0 | OpenFactory