Package: libcadical-dev (1.7.4-1 and others)

[ Source: 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: Software Development: Libraries, Role: Development Library

Download libcadical-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.7.4-1+b1	374.8 kB	2,575.0 kB	[list of files]
amd64	1.7.4-1+b1	343.9 kB	1,836.0 kB	[list of files]
arm64	1.7.4-1+b1	325.0 kB	1,856.0 kB	[list of files]
armel	1.7.4-1+b1	327.8 kB	1,511.0 kB	[list of files]
armhf	1.7.4-1+b1	333.4 kB	1,285.0 kB	[list of files]
hppa (unofficial port)	1.7.4-1+b1	374.7 kB	1,688.0 kB	[list of files]
i386	1.7.4-1+b1	385.7 kB	1,623.0 kB	[list of files]
ia64 (unofficial port)	1.7.4-1	445.1 kB	3,120.0 kB	[list of files]
loong64 (unofficial port)	1.7.4-1+b1	1,554.1 kB	17,551.0 kB	[list of files]
m68k (unofficial port)	1.7.4-1+b1	339.5 kB	1,691.0 kB	[list of files]
mips64el	1.7.4-1+b1	372.9 kB	2,364.0 kB	[list of files]
ppc64 (unofficial port)	1.7.4-1+b1	362.2 kB	2,200.0 kB	[list of files]
ppc64el	1.7.4-1+b1	366.3 kB	2,136.0 kB	[list of files]
riscv64	1.7.4-1+b1	1,273.0 kB	13,109.0 kB	[list of files]
s390x	1.7.4-1+b1	363.6 kB	1,991.0 kB	[list of files]
sh4 (unofficial port)	1.7.4-1+b1	410.3 kB	1,394.0 kB	[list of files]
sparc64 (unofficial port)	1.7.4-1+b1	321.3 kB	2,081.0 kB	[list of files]
x32 (unofficial port)	1.7.4-1+b1	348.0 kB	1,531.0 kB	[list of files]