[ Source: gecode ]
Package: flatzinc (6.1.0-2)
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 http://www.g12.cs.mu.oz.au/minizinc/.
Vi tilbyder en fortolker som læser en FlatZinc-model fra en fil, og returnerer et Gecode Space-objekt, som repræsenterer modellen. Vi tilbyder også en simpel brugerflade, et kørtbart program som læser en FlatZinc-model og udskriver løsningen (hvis en sådan findes) på standardud.
FlatZinc-fortolkeren som følger med Gecode version 4.4.0 understøtter FlatZinc-sproget og MiniZinc' globale begrænsningsdefinitioner fra MiniZinc version 1.6.0.
Other Packages Related to flatzinc
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.4) [armhf, i386]
-
- dep: libgcc1 (>= 1:3.0) [not armhf]
- GCC støttebibliotek
- dep: libgcc1 (>= 1:3.5) [armhf]
-
- dep: libgecode48
- generic constraint development environment
-
- dep: libgecodeflatzinc48
- Gecode support for FlatZinc modelling language
-
- dep: libgecodegist48
- Gecode Interactive Search Tool library
-
- dep: libgmp10
- Bibliotek til multipræcision i aritmetik
-
- dep: libmpfr6 (>= 3.1.3)
- Decimaltalsberegning med præcision
-
- 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 |
|---|---|---|---|
| amd64 | 65.4 kB | 114.0 kB | [list of files] |
| arm64 | 65.2 kB | 110.0 kB | [list of files] |
| armhf | 63.1 kB | 97.0 kB | [list of files] |
| i386 | 65.7 kB | 109.0 kB | [list of files] |