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

[ Източник: 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.

Етикети: Software Development: Библиотеки, Role: Development Library

Изтегляне на 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 кБ	[списък на файловете]