package names descriptions source package names package contents all options

[  jammy  ] [  noble  ] [  oracular  ] [  plucky  ] [  questing  ]

[ Source: minizinc  ]

Links for minizinc

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package minizinc:

• [minizinc_2.8.5+dfsg1-2.dsc]
• [minizinc_2.8.5+dfsg1.orig.tar.xz]
• [minizinc_2.8.5+dfsg1-2.debian.tar.xz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

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.

External Resources:

• Homepage [www.minizinc.org]

Similar packages:

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

Other Packages Related to minizinc

depends

recommends

suggests

enhances

• dep: coinor-libcbc3.1 (>= 2.10.11+ds1)

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

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

  COIN-OR Cut Generation Library

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

  Coin-or linear programming solver (shared libraries)

• dep: coinor-libcoinutils3v5 (>= 2.11.4+repack1)

  COIN-OR collection of utility classes (shared libraries)

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

  COIN-OR Open Solver Interface

• dep: flatzinc

  Package not available

  or gecode-flatzinc

  Package not available

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

  Package not available

  or 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) [not armhf, riscv64]

  GCC support library

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

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

• dep: libgecode49t64

  generic constraint development environment

• dep: libgecodegist49t64

  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

Download minizinc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	2,454.4 kB	8,894.0 kB	[list of files]
arm64	2,238.4 kB	8,106.0 kB	[list of files]
armhf	2,241.5 kB	7,265.0 kB	[list of files]
ppc64el	2,566.9 kB	10,154.0 kB	[list of files]
riscv64	2,757.8 kB	9,703.0 kB	[list of files]
s390x	2,536.4 kB	8,758.0 kB	[list of files]