packages
[ Источник: minizinc ]
Пакет: minizinc (2.9.2+dfsg1-1) [universe]
Ссылки для minizinc
Ресурсы Ubuntu:
Исходный код minizinc:
- [minizinc_2.9.2+dfsg1-1.dsc]
- [minizinc_2.9.2+dfsg1.orig.tar.xz]
- [minizinc_2.9.2+dfsg1-1.debian.tar.xz]
Сопровождающий:
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.
Внешние ресурсы:
- Сайт [www.minizinc.org]
Подобные пакеты:
constraint modelling language and tool chain
Другие пакеты, относящиеся к minizinc
|
|
|
|
-
- dep: coinor-libcbc3.1 (>= 2.10.12+ds)
- Coin-or branch-and-cut mixed integer programming solver (shared libraries)
-
- dep: coinor-libcgl1 (>= 0.60.9+ds)
- COIN-OR Cut Generation Library
-
- dep: coinor-libclp1 (>= 1.17.10+ds)
- Coin-or linear programming solver (shared libraries)
-
- dep: coinor-libcoinutils3v5 (>= 2.11.11+ds)
- COIN-OR collection of utility classes (shared libraries)
-
- dep: coinor-libosi1v5 (>= 0.108.10+ds)
- COIN-OR Open Solver Interface
-
- dep: flatzinc
- виртуальный пакет, предоставляемый gecode-flatzinc
- или gecode-flatzinc
- constraint problem modelling language
- или ortools-flatzinc (>= 8.2+ds-6)
- Пакет недоступен
- или chuffed-flatzinc
- lazy clause generation FlatZinc implememntation
-
- dep: jq
- lightweight and flexible command-line JSON processor
-
- dep: libc6 (>= 2.38)
- GNU C Library: Shared libraries
-
- dep: libgcc-s1 (>= 3.3.1)
- GCC support library
-
- dep: libgecode49t64 (>= 6.2.0)
- generic constraint development environment
-
- dep: libgecodegist49t64 (>= 6.2.0)
- Gecode Interactive Search Tool library
-
- dep: libstdc++6 (>= 14)
- GNU Standard C++ Library v3
-
- dep: python3-demjson
- encoder, decoder, and lint/validator for JSON in Python
Загрузка minizinc
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| amd64 | 2 720,1 Кб | 9 712,0 Кб | [список файлов] |