packages
[ Quellcode: gecode-snapshot ]
Paket: gecode-flatzinc (6.2.0+git20240207-2build1) [universe]
Links für gecode-flatzinc
Ubuntu-Ressourcen:
Quellcode-Paket gecode-snapshot herunterladen:
- [gecode-snapshot_6.2.0+git20240207.orig.tar.xz]
- [gecode-snapshot_6.2.0+git20240207-2build1.debian.tar.xz]
- [gecode-snapshot_6.2.0+git20240207-2build1.dsc]
Betreuer:
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.
Externe Ressourcen:
- Homepage [www.gecode.org]
Ähnliche Pakete:
constraint problem modelling language
Andere Pakete mit Bezug zu gecode-flatzinc
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C Library: Shared libraries
-
- dep: libgcc-s1 (>= 3.3.1)
- GCC support library
-
- dep: libmpfr6 (>= 3.1.3)
- multiple precision floating-point computation
-
- dep: libqt6core6t64 (>= 6.9.1)
- Qt 6 core module
-
- dep: libqt6gui6 (>= 6.9.1)
- Qt 6 GUI module
-
- dep: libqt6printsupport6 (>= 6.1.2)
- Qt 6 print support module
-
- dep: libqt6widgets6 (>= 6.3.0)
- Qt 6 widgets module
-
- dep: libstdc++6 (>= 14)
- GNU Standard C++ Library v3
-
- rec: minizinc
- constraint modelling language and tool chain
gecode-flatzinc herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| arm64 | 2.421,0 kB | 11.444,0 kB | [Liste der Dateien] |