noms de paquets descriptions noms de paquets source contenu du paquet toutes les options

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Paquet source : minizinc  ]

Liens pour minizinc

Ressources Ubuntu :

• Rapports de bogues
• Journal des modifications Ubuntu
• Fichier de licence

Télécharger le paquet source minizinc :

• [minizinc_2.9.2+dfsg1-1.dsc]
• [minizinc_2.9.2+dfsg1.orig.tar.xz]
• [minizinc_2.9.2+dfsg1-1.debian.tar.xz]

Responsable :

• Ubuntu MOTU Developers (Archive du courrier électronique)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Kari Pahula

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

• Page d'accueil [www.minizinc.org]

Paquets similaires :

• flatzinc
• gecode-flatzinc
• libgecodeflatzinc49
• libgecodeflatzinc49t64
• umbrello
• libalzabo-perl
• pocketsphinx-en-us
• rime-essay
• r-cran-mcmcpack
• libatlas-ecmwf-0
• libkkc-data

Autres paquets associés à minizinc

dépendances

recommandations

suggestions

enhances

• dep: coinor-libcbc3.1 (>= 2.10.12+ds)

  Coin-or branch-and-cut mixed integer programming solver (shared libraries)

• dep: coinor-libcgl1 (>= 0.60.9+ds)

  COIN-OR Cut Generation Library

• dep: coinor-libclp1 (>= 1.17.10+ds)

  Coin-or linear programming solver (shared libraries)

• dep: coinor-libcoinutils3v5 (>= 2.11.11+ds)

  COIN-OR collection of utility classes (shared libraries)

• dep: coinor-libosi1v5 (>= 0.108.10+ds)

  COIN-OR Open Solver Interface

• dep: flatzinc

  paquet virtuel fourni par gecode-flatzinc

  ou gecode-flatzinc

  constraint problem modelling language

  ou ortools-flatzinc (>= 8.2+ds-6)

  Paquet indisponible

  ou chuffed-flatzinc

  lazy clause generation FlatZinc implememntation

• dep: jq

  lightweight and flexible command-line JSON processor

• dep: libc6 (>= 2.38)

  GNU C Library: Shared libraries

• dep: libgcc-s1 (>= 3.3.1) [non armhf, riscv64]

  GCC support library

  dep: libgcc-s1 (>= 3.4) [riscv64]

  dep: libgcc-s1 (>= 3.5) [armhf]

• dep: libgecode49t64 (>= 6.2.0)

  generic constraint development environment

• dep: libgecodegist49t64 (>= 6.2.0)

  Gecode Interactive Search Tool library

• dep: libstdc++6 (>= 14)

  GNU Standard C++ Library v3

• dep: python3-demjson

  encoder, decoder, and lint/validator for JSON in Python

Télécharger minizinc

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	2 720,1 ko	9 712,0 ko	[liste des fichiers]
arm64	2 276,4 ko	8 280,0 ko	[liste des fichiers]
armhf	2 275,5 ko	7 447,0 ko	[liste des fichiers]
ppc64el	2 637,2 ko	10 392,0 ko	[liste des fichiers]
riscv64	2 800,4 ko	9 897,0 ko	[liste des fichiers]
s390x	2 597,3 ko	8 968,0 ko	[liste des fichiers]