package names descriptions source package names package contents all options

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

[ Source: minizinc-ide  ]

Links for minizinc-ide

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package minizinc-ide:

• [minizinc-ide_2.8.5.orig.tar.gz]
• [minizinc-ide_2.8.5-1build1.debian.tar.xz]
• [minizinc-ide_2.8.5-1build1.dsc]

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
• faustworks
• libgecodeflatzinc49
• libgecodeflatzinc49t64
• lazarus-ide-2.2
• lazarus-ide-3.0
• lazarus-ide-4.0
• lazarus-ide-4.4
• lazarus-ide-4.8
• language-pack-kde-id

Other Packages Related to minizinc-ide

depends

recommends

suggests

enhances

• dep: libc6 (>= 2.38)

  GNU C Library: Shared libraries

• dep: libgcc-s1 (>= 3.3.1) [not armhf]

  GCC support library

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

• dep: libqt5core5t64 (>= 5.15.1)

  Qt 5 core module

• dep: libqt5gui5t64 (>= 5.14.1)

  Qt 5 GUI module

  or libqt5gui5-gles (>= 5.14.1)

  Qt 5 GUI module — OpenGL ES variant

• dep: libqt5network5t64 (>= 5.14.1)

  Qt 5 network module

• dep: libqt5sql5t64 (>= 5.0.2)

  Qt 5 SQL module

• dep: libqt5websockets5 (>= 5.6.0)

  Qt 5 Web Sockets module

• dep: libqt5widgets5t64 (>= 5.14.1)

  Qt 5 widgets module

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

  GNU Standard C++ Library v3

• dep: minizinc (>= 2.4.1)

  constraint modelling language and tool chain

Download minizinc-ide

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	902.0 kB	2,183.0 kB	[list of files]
arm64	851.9 kB	2,163.0 kB	[list of files]
armhf	876.0 kB	1,650.0 kB	[list of files]