Paquet : libcadical-dev (2.1.3-2 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)	2.1.3-2	455,1 ko	3 227,0 ko	[liste des fichiers]
amd64	2.1.3-2	415,4 ko	2 301,0 ko	[liste des fichiers]
arm64	2.1.3-2	391,8 ko	2 283,0 ko	[liste des fichiers]
armhf	2.1.3-2	397,6 ko	1 589,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	2.1.3-2	458,6 ko	2 019,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.7.4-1	445,1 ko	3 120,0 ko	[liste des fichiers]
loong64	2.1.3-2	1 941,3 ko	22 051,0 ko	[liste des fichiers]
m68k (portage non officiel)	2.1.3-2	416,2 ko	2 039,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	2.1.3-2	436,0 ko	2 684,0 ko	[liste des fichiers]
ppc64el	2.1.3-2	445,5 ko	2 620,0 ko	[liste des fichiers]
riscv64	2.1.3-2	2 027,4 ko	23 647,0 ko	[liste des fichiers]
s390x	2.1.3-2	432,4 ko	2 456,0 ko	[liste des fichiers]
sh4 (portage non officiel)	2.1.3-2	486,8 ko	1 729,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	2.1.3-2	377,7 ko	2 521,0 ko	[liste des fichiers]
x32 (portage non officiel)	2.1.3-2	417,5 ko	1 912,0 ko	[liste des fichiers]