Paquet : libcadical-dev (1.7.4-1 et autres)

[ Paquet 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.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Télécharger libcadical-dev

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.7.4-1+b1	374,8 ko	2 575,0 ko	[liste des fichiers]
amd64	1.7.4-1+b1	343,9 ko	1 836,0 ko	[liste des fichiers]
arm64	1.7.4-1+b1	325,0 ko	1 856,0 ko	[liste des fichiers]
armel	1.7.4-1+b1	327,8 ko	1 511,0 ko	[liste des fichiers]
armhf	1.7.4-1+b1	333,4 ko	1 285,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.7.4-1+b1	374,7 ko	1 688,0 ko	[liste des fichiers]
i386	1.7.4-1+b1	385,7 ko	1 623,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.7.4-1	445,1 ko	3 120,0 ko	[liste des fichiers]
loong64 (portage non officiel)	1.7.4-1+b1	1 554,1 ko	17 551,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.7.4-1+b1	339,5 ko	1 691,0 ko	[liste des fichiers]
mips64el	1.7.4-1+b1	372,9 ko	2 364,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.7.4-1+b1	362,2 ko	2 200,0 ko	[liste des fichiers]
ppc64el	1.7.4-1+b1	366,3 ko	2 136,0 ko	[liste des fichiers]
riscv64	1.7.4-1+b1	1 273,0 ko	13 109,0 ko	[liste des fichiers]
s390x	1.7.4-1+b1	363,6 ko	1 991,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.7.4-1+b1	410,3 ko	1 394,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.7.4-1+b1	321,3 ko	2 081,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.7.4-1+b1	348,0 ko	1 531,0 ko	[liste des fichiers]