Пакет: 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

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	1.7.4-1+b1	374,8 кБ	2 575,0 кБ	[списък на файловете]
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 кБ	[списък на файловете]
hppa (неофициална архитектура)	1.7.4-1+b1	374,7 кБ	1 688,0 кБ	[списък на файловете]
i386	1.7.4-1+b1	385,7 кБ	1 623,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	1.7.4-1	445,1 кБ	3 120,0 кБ	[списък на файловете]
loong64 (неофициална архитектура)	1.7.4-1+b1	1 554,1 кБ	17 551,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	1.7.4-1+b1	339,5 кБ	1 691,0 кБ	[списък на файловете]
mips64el	1.7.4-1+b1	372,9 кБ	2 364,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	1.7.4-1+b1	362,2 кБ	2 200,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 кБ	[списък на файловете]
sh4 (неофициална архитектура)	1.7.4-1+b1	410,3 кБ	1 394,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	1.7.4-1+b1	321,3 кБ	2 081,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	1.7.4-1+b1	348,0 кБ	1 531,0 кБ	[списък на файловете]