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

[ Source: cadical  ]

risolutore semplificato di soddisfacibilità (file di sviluppo)

CaDiCaL è un risolutore CDCL che è facile da capire e cambiare, e allo stesso tempo non è molto più lento di altri risolutori CDCL all'avanguardia.

Questo pacchetto contiene i file di sviluppo per CaDiCaL. Installarlo se si desiderano sviluppare applicazioni che usano l'API di CaDiCaL.

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]