Packages / openSUSE Tumbleweed / Development/Libraries/C and C++ / libminizinc-devel

[Source: libminizinc]

Package: libminizinc-devel (2.8.7-1.6)

A high-level constraint modelling language

MiniZinc is a free and open-source constraint modeling language.

Other Packages Related to libminizinc-devel:

  • dep: [minizinc] (= 2.8.7)

    A high-level constraint modelling language

Download libminizinc-devel

ArchitecturePackage sizeInstalled sizeFilesPackage
x86_64182 KiB753 KiBlist of filesDownload

Package file paths (120)

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/include/minizinc
  • /usr/include/minizinc/algorithms
  • /usr/include/minizinc/algorithms/min_cut.h
  • /usr/include/minizinc/astexception.hh
  • /usr/include/minizinc/ast.hh
  • /usr/include/minizinc/ast.hpp
  • /usr/include/minizinc/astiterator.hh
  • /usr/include/minizinc/astmap.hh
  • /usr/include/minizinc/aststring.hh
  • /usr/include/minizinc/astvec.hh
  • /usr/include/minizinc/builtins.hh
  • /usr/include/minizinc/chain_compressor.hh
  • /usr/include/minizinc/config.hh
  • /usr/include/minizinc/copy.hh
  • /usr/include/minizinc/eval_par.hh
  • /usr/include/minizinc/exception.hh
  • /usr/include/minizinc/file_utils.hh
  • /usr/include/minizinc/flat_exp.hh
  • /usr/include/minizinc/flattener.hh
  • /usr/include/minizinc/flatten.hh
  • /usr/include/minizinc/flatten_internal.hh
  • /usr/include/minizinc/gc.hh
  • /usr/include/minizinc/hash.hh
  • /usr/include/minizinc/htmlprinter.hh
  • /usr/include/minizinc/interrupt.hh
  • /usr/include/minizinc/iter.hh
  • /usr/include/minizinc/json_parser.hh
  • /usr/include/minizinc/MIPdomains.hh
  • /usr/include/minizinc/model.hh
  • /usr/include/minizinc/optimize_constraints.hh
  • /usr/include/minizinc/optimize.hh
  • /usr/include/minizinc/output.hh
  • /usr/include/minizinc/param_config.hh
  • /usr/include/minizinc/parser.hh
  • /usr/include/minizinc/parser.tab.hh
  • /usr/include/minizinc/passes
  • /usr/include/minizinc/passes/compile_pass.hh
  • /usr/include/minizinc/passes/gecode_pass.hh
  • /usr/include/minizinc/pathfileprinter.hh
  • /usr/include/minizinc/plugin.hh
  • /usr/include/minizinc/prettyprinter.hh
  • /usr/include/minizinc/process.hh
  • /usr/include/minizinc/solns2out.hh
  • /usr/include/minizinc/solver_config.hh
  • /usr/include/minizinc/solver.hh
  • /usr/include/minizinc/solver_instance_base.hh
  • /usr/include/minizinc/solver_instance_defs.hh
  • /usr/include/minizinc/solver_instance.hh
  • /usr/include/minizinc/solvers
  • /usr/include/minizinc/solvers/atlantis_solverfactory.hh
  • /usr/include/minizinc/solvers/atlantis_solverinstance.hh
  • /usr/include/minizinc/solvers/chuffed_solverfactory.hh
  • /usr/include/minizinc/solvers/chuffed_solverinstance.hh
  • /usr/include/minizinc/solvers/fzn_solverfactory.hh
  • /usr/include/minizinc/solvers/fzn_solverinstance.hh
  • /usr/include/minizinc/solvers/geas
  • /usr/include/minizinc/solvers/geas/geas_constraints.hh
  • /usr/include/minizinc/solvers/geas_solverfactory.hh
  • /usr/include/minizinc/solvers/geas_solverinstance.hh
  • /usr/include/minizinc/solvers/gecode
  • /usr/include/minizinc/solvers/gecode/fzn_space.hh
  • /usr/include/minizinc/solvers/gecode/gecode_constraints.hh
  • /usr/include/minizinc/solvers/gecode_solverfactory.hh
  • /usr/include/minizinc/solvers/gecode_solverinstance.hh
  • /usr/include/minizinc/solvers/MIP
  • /usr/include/minizinc/solvers/MIP/MIP_cplex_solverfactory.hh
  • /usr/include/minizinc/solvers/MIP/MIP_cplex_wrap.hh
  • /usr/include/minizinc/solvers/MIP/MIP_gurobi_solverfactory.hh
  • /usr/include/minizinc/solvers/MIP/MIP_gurobi_wrap.hh
  • /usr/include/minizinc/solvers/MIP/MIP_highs_solverfactory.hh
  • /usr/include/minizinc/solvers/MIP/MIP_highs_wrap.hh
  • /usr/include/minizinc/solvers/MIP/MIP_osicbc_solverfactory.hh
  • /usr/include/minizinc/solvers/MIP/MIP_osicbc_wrap.hh
  • /usr/include/minizinc/solvers/MIP/MIP_scip_solverfactory.hh
  • /usr/include/minizinc/solvers/MIP/MIP_scip_wrap.hh
  • /usr/include/minizinc/solvers/MIP/MIP_solverinstance.hh
  • /usr/include/minizinc/solvers/MIP/MIP_solverinstance.hpp
  • /usr/include/minizinc/solvers/MIP/MIP_wrap.hh
  • /usr/include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh
  • /usr/include/minizinc/solvers/MIP/MIP_xpress_wrap.hh
  • /usr/include/minizinc/solvers/mzn_solverfactory.hh
  • /usr/include/minizinc/solvers/mzn_solverinstance.hh
  • /usr/include/minizinc/solvers/nl
  • /usr/include/minizinc/solvers/nl/nl_components.hh
  • /usr/include/minizinc/solvers/nl/nl_file.hh
  • /usr/include/minizinc/solvers/nl/nl_solreader.hh
  • /usr/include/minizinc/solvers/nl/nl_solverfactory.hh
  • /usr/include/minizinc/solvers/nl/nl_solverinstance.hh
  • /usr/include/minizinc/stackdump.hh
  • /usr/include/minizinc/statistics.hh
  • /usr/include/minizinc/support
  • /usr/include/minizinc/support/regex.hh
  • /usr/include/minizinc/support/regex_parser.tab.hh
  • /usr/include/minizinc/_thirdparty
  • /usr/include/minizinc/_thirdparty/b64
  • /usr/include/minizinc/_thirdparty/b64/ccommon.h
  • /usr/include/minizinc/_thirdparty/b64/cdecode.h
  • /usr/include/minizinc/_thirdparty/b64/cencode.h
  • /usr/include/minizinc/_thirdparty/b64/decode.h
  • /usr/include/minizinc/_thirdparty/b64/encode.h
  • /usr/include/minizinc/_thirdparty/cplex_interface.h
  • /usr/include/minizinc/_thirdparty/gurobi_interface.h
  • /usr/include/minizinc/_thirdparty/highs_interface.h
  • /usr/include/minizinc/_thirdparty/miniz.h
  • /usr/include/minizinc/_thirdparty/scip_interface.h
  • /usr/include/minizinc/_thirdparty/xpress_interface.h
  • /usr/include/minizinc/timer.hh
  • /usr/include/minizinc/typecheck.hh
  • /usr/include/minizinc/type.hh
  • /usr/include/minizinc/utils.hh
  • /usr/include/minizinc/utils_savestream.hh
  • /usr/include/minizinc/values.hh
  • /usr/include/minizinc/warning.hh
  • /usr/lib64/cmake/libminizinc
  • /usr/lib64/cmake/libminizinc/FindGecode.cmake
  • /usr/lib64/cmake/libminizinc/FindMPFR.cmake
  • /usr/lib64/cmake/libminizinc/libminizincConfig.cmake
  • /usr/lib64/cmake/libminizinc/libminizincConfigVersion.cmake
  • /usr/lib64/cmake/libminizinc/libminizincTargets.cmake
  • /usr/lib64/cmake/libminizinc/libminizincTargets-relwithdebinfo.cmake

Field source: openSUSE Tumbleweed OSS

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try openSUSE Tumbleweed in the browserBuild an image that includes libminizinc-devel

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2.8.7-1.6tumbleweed / ossx86_64openSUSE Tumbleweed · OSS · multi-architecture182 KiB753 KiBx86_64/libminizinc-devel-2.8.7-1.6.x86_64.rpm

Field source: openSUSE Tumbleweed OSS

Known vulnerabilities

No matching advisories in the tracked sources.

Last synced:

[CVE catalog]

Checksums

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

2.8.7-1.6 / x86_64Observed Sep 1, 2026sha512 db2bb0b40fd7…d70727d5Source-reported digest

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

Source-reported digest (sha512): db2bb0b40fd7ae31b9caeb92d49259ef4a27c66c322bd9ef01557607335d36814bb328e1607fa1338f7ffdc21777ff5c8296a790751cb83e8a3345dbd70727d5

Field source: openSUSE Tumbleweed OSS

Sources

  • openSUSE Tumbleweed OSSSep 1, 2026

    Authoritative source; repository metadata signature verified

    Signature evidence

    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