Pakiet: libcadical-dev (1.7.4-1)

[ Pakiet źródłowy: 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.

Znaczniki: Rozwój oprogramowania: Biblioteki, Rola: Biblioteka deweloperska

Pobieranie libcadical-dev

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	373,5 KiB	2 676,0 KiB	[lista plików]
amd64	340,7 KiB	1 882,0 KiB	[lista plików]
arm64	319,6 KiB	1 935,0 KiB	[lista plików]
armel	328,8 KiB	1 602,0 KiB	[lista plików]
armhf	333,7 KiB	1 371,0 KiB	[lista plików]
hppa (port nieoficjalny)	372,1 KiB	1 770,0 KiB	[lista plików]
i386	383,6 KiB	1 673,0 KiB	[lista plików]
ia64 (port nieoficjalny)	445,1 KiB	3 120,0 KiB	[lista plików]
m68k (port nieoficjalny)	339,7 KiB	1 690,0 KiB	[lista plików]
mips64el	370,8 KiB	2 461,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	359,1 KiB	2 294,0 KiB	[lista plików]
ppc64el	365,3 KiB	2 233,0 KiB	[lista plików]
riscv64	1 299,2 KiB	13 363,0 KiB	[lista plików]
s390x	358,2 KiB	2 084,0 KiB	[lista plików]
sh4 (port nieoficjalny)	404,5 KiB	1 457,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	317,9 KiB	2 158,0 KiB	[lista plików]
x32 (port nieoficjalny)	344,4 KiB	1 568,0 KiB	[lista plików]