packages
[ Bron: gecode-snapshot ]
Pakket: gecode-flatzinc (6.2.0+git20260120-2) [universe]
Verwijzigingen voor gecode-flatzinc
Ubuntu bronnen:
Het bronpakket gecode-snapshot downloaden:
- [gecode-snapshot_6.2.0+git20260120-2.dsc]
- [gecode-snapshot_6.2.0+git20260120.orig.tar.xz]
- [gecode-snapshot_6.2.0+git20260120-2.debian.tar.xz]
Beheerder:
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 bronnen:
- Homepage [www.gecode.org]
Vergelijkbare pakketten:
constraint problem modelling language
Andere aan gecode-flatzinc gerelateerde pakketten
|
|
|
|
-
- 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.10.2)
- 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