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

[Source: gecode]

Package: gecode-minizinc (6.3.0~git20211208.6b09bea4-bp160.1.13)

Solveur minizinc Gecode

Solveur Minizinc utilisant la boîte à outils Gecode.

Other Packages Related to gecode-minizinc:

  • dep: /bin/sh

    Package not available

  • 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: 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.5)(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.18)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.21)(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: [minizinc]

    Un langage de modélisation de contraintes de haut niveau

  • dep: libc.so.6(GLIBC_2.38)(64bit)

    Package not available

Download gecode-minizinc

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch64241 KiB873 KiBlist of filesDownload
ppc64le255 KiB937 KiBlist of filesDownload
s390x269 KiB825 KiBlist of filesDownload
x86_64259 KiB821 KiBlist of filesDownload

Chemins de fichiers du paquet (71)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

  • /usr/bin/fzn-gecode
  • /usr/bin/mzn-gecode
  • /usr/lib64/libgecodeflatzinc.so.51
  • /usr/share/minizinc
  • /usr/share/minizinc/gecode
  • /usr/share/minizinc/gecode/fzn_alldifferent_except_0.mzn
  • /usr/share/minizinc/gecode/fzn_all_different_int.mzn
  • /usr/share/minizinc/gecode/fzn_all_equal_int.mzn
  • /usr/share/minizinc/gecode/fzn_among.mzn
  • /usr/share/minizinc/gecode/fzn_arg_max_bool.mzn
  • /usr/share/minizinc/gecode/fzn_arg_max_int.mzn
  • /usr/share/minizinc/gecode/fzn_arg_min_bool.mzn
  • /usr/share/minizinc/gecode/fzn_arg_min_int.mzn
  • /usr/share/minizinc/gecode/fzn_at_least_int.mzn
  • /usr/share/minizinc/gecode/fzn_at_least_set.mzn
  • /usr/share/minizinc/gecode/fzn_at_most_int.mzn
  • /usr/share/minizinc/gecode/fzn_at_most_set.mzn
  • /usr/share/minizinc/gecode/fzn_bin_packing_capa.mzn
  • /usr/share/minizinc/gecode/fzn_bin_packing_load.mzn
  • /usr/share/minizinc/gecode/fzn_bin_packing.mzn
  • /usr/share/minizinc/gecode/fzn_circuit.mzn
  • /usr/share/minizinc/gecode/fzn_count_eq.mzn
  • /usr/share/minizinc/gecode/fzn_count_eq_reif.mzn
  • /usr/share/minizinc/gecode/fzn_cumulative.mzn
  • /usr/share/minizinc/gecode/fzn_cumulative_opt.mzn
  • /usr/share/minizinc/gecode/fzn_decreasing_bool.mzn
  • /usr/share/minizinc/gecode/fzn_decreasing_int.mzn
  • /usr/share/minizinc/gecode/fzn_diffn.mzn
  • /usr/share/minizinc/gecode/fzn_disjoint.mzn
  • /usr/share/minizinc/gecode/fzn_disjunctive_strict.mzn
  • /usr/share/minizinc/gecode/fzn_disjunctive_strict_opt.mzn
  • /usr/share/minizinc/gecode/fzn_exactly_set.mzn
  • /usr/share/minizinc/gecode/fzn_global_cardinality_closed.mzn
  • /usr/share/minizinc/gecode/fzn_global_cardinality_low_up_closed.mzn
  • /usr/share/minizinc/gecode/fzn_global_cardinality_low_up.mzn
  • /usr/share/minizinc/gecode/fzn_global_cardinality.mzn
  • /usr/share/minizinc/gecode/fzn_increasing_bool.mzn
  • /usr/share/minizinc/gecode/fzn_increasing_int.mzn
  • /usr/share/minizinc/gecode/fzn_int_set_channel.mzn
  • /usr/share/minizinc/gecode/fzn_inverse.mzn
  • /usr/share/minizinc/gecode/fzn_inverse_set.mzn
  • /usr/share/minizinc/gecode/fzn_lex_less_bool.mzn
  • /usr/share/minizinc/gecode/fzn_lex_lesseq_bool.mzn
  • /usr/share/minizinc/gecode/fzn_lex_lesseq_int.mzn
  • /usr/share/minizinc/gecode/fzn_lex_less_int.mzn
  • /usr/share/minizinc/gecode/fzn_link_set_to_booleans.mzn
  • /usr/share/minizinc/gecode/fzn_member_bool.mzn
  • /usr/share/minizinc/gecode/fzn_member_bool_reif.mzn
  • /usr/share/minizinc/gecode/fzn_member_int.mzn
  • /usr/share/minizinc/gecode/fzn_member_int_reif.mzn
  • /usr/share/minizinc/gecode/fzn_nvalue.mzn
  • /usr/share/minizinc/gecode/fzn_partition_set.mzn
  • /usr/share/minizinc/gecode/fzn_range.mzn
  • /usr/share/minizinc/gecode/fzn_regular.mzn
  • /usr/share/minizinc/gecode/fzn_roots.mzn
  • /usr/share/minizinc/gecode/fzn_sort.mzn
  • /usr/share/minizinc/gecode/fzn_sum_pred.mzn
  • /usr/share/minizinc/gecode/fzn_sum_set.mzn
  • /usr/share/minizinc/gecode/fzn_table_bool.mzn
  • /usr/share/minizinc/gecode/fzn_table_bool_reif.mzn
  • /usr/share/minizinc/gecode/fzn_table_int.mzn
  • /usr/share/minizinc/gecode/fzn_table_int_reif.mzn
  • /usr/share/minizinc/gecode/fzn_value_precede_int.mzn
  • /usr/share/minizinc/gecode/fzn_value_precede_set.mzn
  • /usr/share/minizinc/gecode/gecode.mzn
  • /usr/share/minizinc/gecode/redefinitions-2.0.2.mzn
  • /usr/share/minizinc/gecode/redefinitions-2.0.mzn
  • /usr/share/minizinc/gecode/redefinitions-2.5.2.mzn
  • /usr/share/minizinc/gecode/redefinitions.mzn
  • /usr/share/minizinc/solvers
  • /usr/share/minizinc/solvers/gecode.msc

Field source: openSUSE Leap 16.0 OSS

Utiliser ce paquet

OpenFactory peut démarrer ce système d'exploitation dans une machine virtuelle du navigateur, ou lancer une construction qui inclut le nom natif du paquet de cet enregistrement.

Essayer openSUSE Leap 16.0 dans le navigateurConstruire une image qui inclut gecode-minizinc

Versions, suites et dépôts

Chaque ligne est une métadonnée d'index pour une version, une architecture, une suite et un dépôt. Noms, URL et tailles viennent de la source ; un lien est un emplacement de récupération mutable, pas une redistribution OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
6.3.0~git20211208.6b09bea4-bp160.1.13leap-16.0 / ossaarch64openSUSE Leap 16.0 · OSS · multi-architecture241 KiB873 KiBaarch64/gecode-minizinc-6.3.0~git20211208.6b09bea4-bp160.1.13.aarch64.rpm
6.3.0~git20211208.6b09bea4-bp160.1.13leap-16.0 / ossppc64leopenSUSE Leap 16.0 · OSS · multi-architecture255 KiB937 KiBppc64le/gecode-minizinc-6.3.0~git20211208.6b09bea4-bp160.1.13.ppc64le.rpm
6.3.0~git20211208.6b09bea4-bp160.1.13leap-16.0 / osss390xopenSUSE Leap 16.0 · OSS · multi-architecture269 KiB825 KiBs390x/gecode-minizinc-6.3.0~git20211208.6b09bea4-bp160.1.13.s390x.rpm
6.3.0~git20211208.6b09bea4-bp160.1.13leap-16.0 / ossx86_64openSUSE Leap 16.0 · OSS · multi-architecture259 KiB821 KiBx86_64/gecode-minizinc-6.3.0~git20211208.6b09bea4-bp160.1.13.x86_64.rpm

Field source: openSUSE Leap 16.0 OSS

Vulnérabilités connues

Aucun avis correspondant dans les sources suivies.

Dernière synchronisation:

[Catalogue CVE]

Empreintes

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

6.3.0~git20211208.6b09bea4-bp160.1.13 / aarch64Observé Sep 1, 2026sha512 76042ebe64d6…d7aa1203Empreinte publiée par la source

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

Empreinte publiée par la source (sha512): 76042ebe64d60decb529829f2d3ebf53187326106370d4e33f9c1bd565e869eae1085e9fb47b2fbcfe661ccfcd9a802f2dc131c4191482fc8c9bb8a9d7aa1203

Field source: openSUSE Leap 16.0 OSS

6.3.0~git20211208.6b09bea4-bp160.1.13 / ppc64leObservé Sep 1, 2026sha512 f553a5035550…123013caEmpreinte publiée par la source

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

Empreinte publiée par la source (sha512): f553a50355505453abc53014194a7a266e8b287a673efe69ee71c2a86bcd4d04f331056a4cffbe31457821a05a7f887c50ccb8520acba0838912ebf9123013ca

Field source: openSUSE Leap 16.0 OSS

6.3.0~git20211208.6b09bea4-bp160.1.13 / s390xObservé Sep 1, 2026sha512 4c615994d74b…0e75b812Empreinte publiée par la source

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

Empreinte publiée par la source (sha512): 4c615994d74b775f4ad1f92ee2cae2f6dc6d82f2af287ef742c82cd80a7e295ee493ab54cff2ba95a7cd0172d10360589d1730ee07954f2ace2f1e180e75b812

Field source: openSUSE Leap 16.0 OSS

6.3.0~git20211208.6b09bea4-bp160.1.13 / x86_64Observé Sep 1, 2026sha512 96895b40f363…4ed17af0Empreinte publiée par la source

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

Empreinte publiée par la source (sha512): 96895b40f36385f334503bd16b8cfacfa91de7ad547187d4fae88b14d5f8fef8292112c56972bb557dd7e452373ad196bf8f77adb9b0b7fb89a92f0b4ed17af0

Field source: openSUSE Leap 16.0 OSS

Sources

  • openSUSE Leap 16.0 OSSSep 1, 2026

    Authoritative source; repository metadata signature verified

    Preuve de signature

    leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

    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
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable