Packages / openSUSE Tumbleweed / Productivity/Scientific/Math / gecode-minizinc

[Source: gecode]

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

Розв’язувач minizinc Gecode

Розв’язувач Minizinc з використанням набору інструментів 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: 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.2.5)(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]

    Мова моделювання обмежень високого рівня

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

    Package not available

Download gecode-minizinc

ArchitecturePackage sizeInstalled sizeFilesPackage
x86_64273 KiB882 KiBlist of filesDownload

Шляхи файлів пакета (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 Tumbleweed OSS

Використати цей пакет

OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.

Спробувати openSUSE Tumbleweed у браузеріЗібрати образ, що містить gecode-minizinc

Версії, набори та репозиторії

Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
6.3.0~git20211208.6b09bea4-1.14tumbleweed / ossx86_64openSUSE Tumbleweed · OSS · multi-architecture273 KiB882 KiBx86_64/gecode-minizinc-6.3.0~git20211208.6b09bea4-1.14.x86_64.rpm

Field source: openSUSE Tumbleweed OSS

Відомі вразливості

У відстежуваних джерелах немає відповідних повідомлень.

Остання синхронізація:

[Каталог CVE]

Контрольні суми

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

6.3.0~git20211208.6b09bea4-1.14 / x86_64Спостережено Sep 1, 2026sha512 69a3dfe9431d…afabc367Контрольна сума джерела

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

Контрольна сума джерела (sha512): 69a3dfe9431d77bcc9d01e2a5f3cc9700bf8cbcc3af17b331696f4f8f069f0a1404b3cab997572d5ad63bbe6b50d087b6db7a453f0a9881f5a806657afabc367

Field source: openSUSE Tumbleweed OSS

Джерела

  • openSUSE Tumbleweed OSSSep 1, 2026

    Authoritative source; repository metadata signature verified

    Доказ підпису

    tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

    Repository-signature verification record
    Signed-object SHA-256
    4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f
    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