Paket: libcadical-dev (1.7.4-1 und andere)

[ Quellcode: 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.

Markierungen: Software-Entwicklung: Bibliotheken, Rolle: Entwicklungs-Bibliothek

libcadical-dev herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	1.7.4-1+b1	374,8 kB	2.575,0 kB	[Liste der Dateien]
amd64	1.7.4-1+b1	343,9 kB	1.836,0 kB	[Liste der Dateien]
arm64	1.7.4-1+b1	325,0 kB	1.856,0 kB	[Liste der Dateien]
armel	1.7.4-1+b1	327,8 kB	1.511,0 kB	[Liste der Dateien]
armhf	1.7.4-1+b1	333,4 kB	1.285,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	1.7.4-1+b1	374,7 kB	1.688,0 kB	[Liste der Dateien]
i386	1.7.4-1+b1	385,7 kB	1.623,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	1.7.4-1	445,1 kB	3.120,0 kB	[Liste der Dateien]
loong64 (inoffizielle Portierung)	1.7.4-1+b1	1.554,1 kB	17.551,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	1.7.4-1+b1	339,5 kB	1.691,0 kB	[Liste der Dateien]
mips64el	1.7.4-1+b1	372,9 kB	2.364,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	1.7.4-1+b1	362,2 kB	2.200,0 kB	[Liste der Dateien]
ppc64el	1.7.4-1+b1	366,3 kB	2.136,0 kB	[Liste der Dateien]
riscv64	1.7.4-1+b1	1.273,0 kB	13.109,0 kB	[Liste der Dateien]
s390x	1.7.4-1+b1	363,6 kB	1.991,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	1.7.4-1+b1	410,3 kB	1.394,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	1.7.4-1+b1	321,3 kB	2.081,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	1.7.4-1+b1	348,0 kB	1.531,0 kB	[Liste der Dateien]