[ Источник: cadical ]
Пакет: libcadical-dev (1.7.4-1)
Ссылки для 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 | 340,7 Кб | 1 882,0 Кб | [список файлов] |
arm64 | 319,6 Кб | 1 935,0 Кб | [список файлов] |
armel | 328,8 Кб | 1 602,0 Кб | [список файлов] |
armhf | 333,7 Кб | 1 371,0 Кб | [список файлов] |
i386 | 383,6 Кб | 1 673,0 Кб | [список файлов] |
mips64el | 370,8 Кб | 2 461,0 Кб | [список файлов] |
ppc64el | 365,3 Кб | 2 233,0 Кб | [список файлов] |
riscv64 | 1 299,2 Кб | 13 363,0 Кб | [список файлов] |
s390x | 358,2 Кб | 2 084,0 Кб | [список файлов] |