Pakiet: libcadical-dev (2.1.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	415,4 KiB	2 301,0 KiB	[lista plików]
arm64	391,8 KiB	2 283,0 KiB	[lista plików]
armhf	397,6 KiB	1 589,0 KiB	[lista plików]
i386	458,6 KiB	2 019,0 KiB	[lista plików]
ppc64el	445,5 KiB	2 620,0 KiB	[lista plików]
riscv64	2 027,4 KiB	23 647,0 KiB	[lista plików]
s390x	432,4 KiB	2 456,0 KiB	[lista plików]