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

[ Источник: cadical  ]

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

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	2.1.3-2	455,1 Кб	3 227,0 Кб	[список файлов]
amd64	2.1.3-2	415,4 Кб	2 301,0 Кб	[список файлов]
arm64	2.1.3-2	391,8 Кб	2 283,0 Кб	[список файлов]
armhf	2.1.3-2	397,6 Кб	1 589,0 Кб	[список файлов]
hppa (неофициальный перенос)	1.7.4-1+b1	374,7 Кб	1 688,0 Кб	[список файлов]
i386	2.1.3-2	458,6 Кб	2 019,0 Кб	[список файлов]
ia64 (неофициальный перенос)	1.7.4-1	445,1 Кб	3 120,0 Кб	[список файлов]
loong64	2.1.3-2	1 941,3 Кб	22 051,0 Кб	[список файлов]
m68k (неофициальный перенос)	2.1.3-2	416,2 Кб	2 039,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	2.1.3-2	436,0 Кб	2 684,0 Кб	[список файлов]
ppc64el	2.1.3-2	445,5 Кб	2 620,0 Кб	[список файлов]
riscv64	2.1.3-2	2 027,4 Кб	23 647,0 Кб	[список файлов]
s390x	2.1.3-2	432,4 Кб	2 456,0 Кб	[список файлов]
sh4 (неофициальный перенос)	2.1.3-2	486,8 Кб	1 729,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	2.1.3-2	377,7 Кб	2 521,0 Кб	[список файлов]
x32 (неофициальный перенос)	2.1.3-2	417,5 Кб	1 912,0 Кб	[список файлов]