Package: libgecodeflatzinc48 (6.1.0-2)
Links for libgecodeflatzinc48
Debian Resources:
Download Source Package gecode:
Maintainer:
External Resources:
- Homepage [www.gecode.org]
Similar packages:
gestione Gecode per il linguaggio di modellazione FlatZinc
Gecode è un toolkit per sviluppare sistemi ed applicazioni basati su vincoli. Gecode fornisce un risolutore con vincoli con prestazioni all'avanguardia essendo al contempo modulare ed estensibile.
FlatZinc è un linguaggio di modellazione a basso livello per problemi con vincoli. È progettato per essere facilmente interfacciabile con risolutori con vincoli (come Gecode). Per maggiori informazioni su FlatZinc fare riferimento alle pagine su MiniZinc del progetto G12 <http://www.g12.cs.mu.oz.au/minizinc/>.
Other Packages Related to libgecodeflatzinc48
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- Libreria C GNU: librerie condivise
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]
- libreria di supporto a GCC
- dep: libgcc1 (>= 1:3.5) [armhf]
-
- dep: libgecode48
- generic constraint development environment
-
- dep: libgecodegist48
- libreria per strumento di ricerca interattiva di Gecode
-
- dep: libgl1 [not armhf]
- libreria di dispatch GL indipendente dal produttore -- vecchia gestione GL
-
- dep: libgles2 [armhf]
- libreria di dispatch GL indipendente dal produttore -- gestione GLESv2
also a virtual package provided by mali-t62x-fbdev-driver, mali-t62x-wayland-driver, mali-t62x-x11-driver, mali-t76x-fbdev-driver, mali-t76x-wayland-driver, mali-t76x-x11-driver
-
- dep: libqt5core5a (>= 5.11.0~rc1) [amd64, i386]
- modulo principale di Qt 5
- dep: libqt5core5a (>= 5.3.0) [arm64, armhf]
-
- dep: libqt5gui5 (>= 5.0.2)
- modulo GUI di Qt 5
-
- dep: libqt5printsupport5 (>= 5.0.2)
- modulo Qt 5 per la gestione della stampa
-
- dep: libqt5widgets5 (>= 5.0.2)
- modulo per widgets di Qt 5
-
- dep: libstdc++6 (>= 5.2)
- libreria GNU Standard C++, versione 3
-
- sug: libgecode-dev
- generic constraint development environment
Download libgecodeflatzinc48
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
amd64 | 245.9 kB | 725.0 kB | [list of files] |
arm64 | 221.5 kB | 677.0 kB | [list of files] |
armhf | 216.8 kB | 471.0 kB | [list of files] |
i386 | 256.6 kB | 755.0 kB | [list of files] |