[ Source: gecode ]
Package: flatzinc (6.2.0-5)
Links for flatzinc
Debian Resources:
Download Source Package gecode:
Maintainer:
External Resources:
- Homepage [www.gecode.org]
Similar packages:
Modelleringssprog til begrænsningsproblemer
FlatZinc er et modellingssprog på lavt niveau til begrænsningsproblemer. Det er designet til nemt at have grænseflader til programmer med begrænsningsløsning (såsom Gecode). For yderligere information om FlatZinc så se MiniZinc-siderne for G12-projektet <https://www.minizinc.org/>.
FlatZinc-fortolkeren som følger med Gecode understøtter FlatZinc-sproget og MiniZinc' globale begrænsningsdefinitioner fra MiniZinc version 1.6.0.
Other Packages Related to flatzinc
|
|
|
|
-
- dep: libc6 (>= 2.17)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- GCC støttebibliotek
-
- dep: libgecode49
- generic constraint development environment
-
- dep: libgecodeflatzinc49
- Gecode support for FlatZinc modelling language
-
- dep: libgecodegist49
- Gecode Interactive Search Tool library
-
- dep: libstdc++6 (>= 5.2)
- GNU Standard C++ bibliotek v3
-
- rec: minizinc
- constraint modelling language and tool chain
Download flatzinc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| ppc64el | 74.6 kB | 279.0 kB | [list of files] |