Пакет: libcadical-dev (1.7.4-1 и другие)

Ссылки для libcadical-dev

Ресурсы 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	1.7.4-1+b1	343,9 Кб	1 836,0 Кб	[список файлов]
arm64	1.7.4-1+b1	325,0 Кб	1 856,0 Кб	[список файлов]
armel	1.7.4-1+b1	327,8 Кб	1 511,0 Кб	[список файлов]
armhf	1.7.4-1+b1	333,4 Кб	1 285,0 Кб	[список файлов]
i386	1.7.4-1+b1	385,7 Кб	1 623,0 Кб	[список файлов]
mips64el	1.7.4-1+b1	372,9 Кб	2 364,0 Кб	[список файлов]
ppc64el	1.7.4-1+b1	366,3 Кб	2 136,0 Кб	[список файлов]
riscv64	1.7.4-1+b1	1 273,0 Кб	13 109,0 Кб	[список файлов]
s390x	1.7.4-1+b1	363,6 Кб	1 991,0 Кб	[список файлов]