Pakiet: libcadical-dev (1.5.3-2)

[ 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
amd64	280,8 KiB	1 522,0 KiB	[lista plików]
arm64	262,2 KiB	1 556,0 KiB	[lista plików]
armel	270,7 KiB	1 283,0 KiB	[lista plików]
armhf	275,6 KiB	1 104,0 KiB	[lista plików]
i386	317,5 KiB	1 353,0 KiB	[lista plików]
mips64el	305,6 KiB	1 997,0 KiB	[lista plików]
mipsel	319,8 KiB	1 488,0 KiB	[lista plików]
ppc64el	303,2 KiB	1 834,0 KiB	[lista plików]
s390x	258,6 KiB	1 585,0 KiB	[lista plików]