[ Источник: cadical ]
Пакет: libcadical-dev (1.5.3-2)
Ссылки для libcadical-dev
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код cadical:
Сопровождающие:
Внешние ресурсы:
- Сайт [fmv.jku.at]
Подобные пакеты:
Simplified Satisfiability Solver (development files)
CaDiCaL is a CDCL solver that is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.
This package contains development files for CaDiCaL. Install it if you want to develop applications that use CaDiCaL's API.
Загрузка libcadical-dev
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
amd64 | 280,8 Кб | 1 522,0 Кб | [список файлов] |
arm64 | 262,2 Кб | 1 556,0 Кб | [список файлов] |
armel | 270,7 Кб | 1 283,0 Кб | [список файлов] |
armhf | 275,6 Кб | 1 104,0 Кб | [список файлов] |
i386 | 317,5 Кб | 1 353,0 Кб | [список файлов] |
mips64el | 305,6 Кб | 1 997,0 Кб | [список файлов] |
mipsel | 319,8 Кб | 1 488,0 Кб | [список файлов] |
ppc64el | 303,2 Кб | 1 834,0 Кб | [список файлов] |
s390x | 258,6 Кб | 1 585,0 Кб | [список файлов] |