Packages / openSUSE Leap 16.0 / Development/Libraries/C and C++ / libminizinc-devel

Package: libminizinc-devel (2.8.7-bp160.1.12)

Un lenguaje de modelado de restricciones de alto nivel

MiniZinc es un lenguaje de modelado de restricciones libre y de código abierto.

Other Packages Related to libminizinc-devel:

dep: [minizinc] (= 2.8.7)
Un lenguaje de modelado de restricciones de alto nivel

Download libminizinc-devel

Architecture	Package size	Installed size	Files	Package
aarch64	182 KiB	753 KiB	list of files	Download
ppc64le	182 KiB	753 KiB	list of files	Download
s390x	182 KiB	753 KiB	list of files	Download
x86_64	182 KiB	753 KiB	list of files	Download

Rutas de archivos del paquete (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 Leap 16.0 OSS

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.

Probar openSUSE Leap 16.0 en el navegador Construir una imagen que incluye libminizinc-devel

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.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
2.8.7-bp160.1.12	leap-16.0 / oss	aarch64	openSUSE Leap 16.0 · OSS · multi-architecture	182 KiB	753 KiB	aarch64/libminizinc-devel-2.8.7-bp160.1.12.aarch64.rpm
2.8.7-bp160.1.12	leap-16.0 / oss	ppc64le	openSUSE Leap 16.0 · OSS · multi-architecture	182 KiB	753 KiB	ppc64le/libminizinc-devel-2.8.7-bp160.1.12.ppc64le.rpm
2.8.7-bp160.1.12	leap-16.0 / oss	s390x	openSUSE Leap 16.0 · OSS · multi-architecture	182 KiB	753 KiB	s390x/libminizinc-devel-2.8.7-bp160.1.12.s390x.rpm
2.8.7-bp160.1.12	leap-16.0 / oss	x86_64	openSUSE Leap 16.0 · OSS · multi-architecture	182 KiB	753 KiB	x86_64/libminizinc-devel-2.8.7-bp160.1.12.x86_64.rpm

Field source: openSUSE Leap 16.0 OSS

Vulnerabilidades conocidas

No hay avisos coincidentes en las fuentes consultadas.

Última sincronización: Oct 31, 2026, 6:52:30 PM UTC

[Catálogo de CVE]

Sumas de comprobación

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

2.8.7-bp160.1.12 / aarch64Observado Sep 1, 2026sha512 047a3bf6ccef…92d0a626Resumen de la fuente

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

Resumen de la fuente (sha512): 047a3bf6ccef23802758db74c9a128afa0a0fdb02325ef4602e71abdde782190799b5fe09b2b85f26089a53e309f2098da832bde758bbabb8b34873292d0a626

Field source: openSUSE Leap 16.0 OSS

2.8.7-bp160.1.12 / ppc64leObservado Sep 1, 2026sha512 585001f26833…db02ec5cResumen de la fuente

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

Resumen de la fuente (sha512): 585001f268331ff0b383fc14669d50d60c03059996cfeeb64f49f3ce944ec04be63b6cdca0a69f2dc70049c0aeed9f3e3058043b7187340f3db1e1a0db02ec5c

Field source: openSUSE Leap 16.0 OSS

2.8.7-bp160.1.12 / s390xObservado Sep 1, 2026sha512 a737381b500f…bc38726fResumen de la fuente

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

Resumen de la fuente (sha512): a737381b500f0f4dcf4b81090b5b0ce812df573ae68bab43a33ba223df1dd7d66374d1428faa07204ab0a9cbf8f99b79bb895be919172fc944301e71bc38726f

Field source: openSUSE Leap 16.0 OSS

2.8.7-bp160.1.12 / x86_64Observado Sep 1, 2026sha512 7291220888c1…955ea51aResumen de la fuente

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

Resumen de la fuente (sha512): 7291220888c1c4e3617431f2788cb74425b1d3391d3554066265cbcfb9fc146a56704548e0d62cbdea0008397b690bab4207e6ef012a16d71bed75be955ea51a

Field source: openSUSE Leap 16.0 OSS

Fuentes

openSUSE Leap 16.0 OSSSep 1, 2026
Authoritative source; repository metadata signature verified
Prueba de firma
leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
Repository-signature verification record
Signed object
https://download.opensuse.org/distribution/leap/16.0/repo/oss/repodata/repomd.xml
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