[ Paquet source : cadical ]
Paquet : libcadical-dev (1.7.4-1)
Liens pour libcadical-dev
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source cadical :
Responsables :
Ressources externes :
- Page d'accueil [fmv.jku.at]
Paquets similaires :
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.
Télécharger libcadical-dev
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
amd64 | 340,7 ko | 1 882,0 ko | [liste des fichiers] |
arm64 | 319,6 ko | 1 935,0 ko | [liste des fichiers] |
armel | 328,8 ko | 1 602,0 ko | [liste des fichiers] |
armhf | 333,7 ko | 1 371,0 ko | [liste des fichiers] |
i386 | 383,6 ko | 1 673,0 ko | [liste des fichiers] |
mips64el | 370,8 ko | 2 461,0 ko | [liste des fichiers] |
ppc64el | 365,3 ko | 2 233,0 ko | [liste des fichiers] |
riscv64 | 1 299,2 ko | 13 363,0 ko | [liste des fichiers] |
s390x | 358,2 ko | 2 084,0 ko | [liste des fichiers] |