[ sid ]
Пакунок: libgecodeflatzinc32 (3.7.3-1) [debports]
Links for libgecodeflatzinc32
Debian Resources:
Download Source Package :
Не знайденоMaintainers:
External Resources:
- Homepage [www.gecode.org]
Similar packages:
Gecode support for FlatZinc modelling language
Gecode is an attempt to construct an open, free, portable, accessible, and efficient environment for developing constraint-based systems and applications.
FlatZinc is a low-level modelling language for constraint problems. It is designed to be easily interfaceable to constraint solvers (like Gecode). For more information on FlatZinc, please refer to the MiniZinc pages of the G12 project <http://www.g12.cs.mu.oz.au/minizinc/>.
Інші пакунки пов'язані з libgecodeflatzinc32
|
|
|
|
-
- dep: multiarch-support
- Пакунок недоступний
-
- dep: libc6 (>= 2.13)
- Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:4.1.1)
- Пакунок недоступний
-
- dep: libgecode32
- generic constraint development environment
-
- dep: libgecodegist32
- Gecode Interactive Search Tool library
-
- dep: libqtcore4 (>= 4:4.7.4-3)
- Пакунок недоступний
-
- dep: libqtgui4 (>= 4:4.5.3)
- Пакунок недоступний
-
- dep: libstdc++6 (>= 4.4.0)
- Стандартна бібліотека C++ GNU, версії 3
-
- sug: libgecode-dev
- generic constraint development environment
Завантажити libgecodeflatzinc32
| Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|
| sh4 (unofficial port) | 202.3 kB | 446.0 kB | [список файлів] |