Pakket: libcadical-dev (2.1.3-2 en anderen)

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

Tags: Softwareontwikkeling: Bibliotheken, Role: Development Library

libcadical-dev downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	2.1.3-2	455,1 kB	3.227,0 kB	[overzicht]
amd64	2.1.3-2	415,4 kB	2.301,0 kB	[overzicht]
arm64	2.1.3-2	391,8 kB	2.283,0 kB	[overzicht]
armhf	2.1.3-2	397,6 kB	1.589,0 kB	[overzicht]
hppa (unofficial port)	1.7.4-1+b1	374,7 kB	1.688,0 kB	[overzicht]
i386	2.1.3-2	458,6 kB	2.019,0 kB	[overzicht]
ia64 (unofficial port)	1.7.4-1	445,1 kB	3.120,0 kB	[overzicht]
loong64	2.1.3-2	1.941,3 kB	22.051,0 kB	[overzicht]
m68k (unofficial port)	2.1.3-2	416,2 kB	2.039,0 kB	[overzicht]
ppc64 (unofficial port)	2.1.3-2	436,0 kB	2.684,0 kB	[overzicht]
ppc64el	2.1.3-2	445,5 kB	2.620,0 kB	[overzicht]
riscv64	2.1.3-2	2.027,4 kB	23.647,0 kB	[overzicht]
s390x	2.1.3-2	432,4 kB	2.456,0 kB	[overzicht]
sh4 (unofficial port)	2.1.3-2	486,8 kB	1.729,0 kB	[overzicht]
sparc64 (unofficial port)	2.1.3-2	377,7 kB	2.521,0 kB	[overzicht]
x32 (unofficial port)	2.1.3-2	417,5 kB	1.912,0 kB	[overzicht]