[ bookworm ] [ sid ]

[ Paquet source : cryptominisat ]

Paquet : libcryptominisat5-5.11 (5.11.4+dfsg1-2 et autres)

Liens pour libcryptominisat5-5.11

Ressources Debian :

Télécharger le paquet source cryptominisat :

Responsables :

Ressources externes :

Page d'accueil [www.msoos.org]

Paquets similaires :

SAT solver library

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides a shared library to link against the CryptoMiniSat library.

Étiquettes: Rôle: Bibliothèque partagée

Autres paquets associés à libcryptominisat5-5.11

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.34)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0) [amd64, s390x]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [non amd64, armel, armhf, s390x]
dep: libstdc++6 (>= 11)

bibliothèque standard C++ de GNU v3

Télécharger libcryptominisat5-5.11

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	5.11.4+dfsg1-2+b1	490,3 ko	1 290,0 ko	[liste des fichiers]
arm64	5.11.4+dfsg1-2+b1	440,4 ko	1 237,0 ko	[liste des fichiers]
armel	5.11.4+dfsg1-2+b1	432,1 ko	1 237,0 ko	[liste des fichiers]
armhf	5.11.4+dfsg1-2+b1	450,2 ko	917,0 ko	[liste des fichiers]
i386	5.11.4+dfsg1-2+b1	515,8 ko	1 341,0 ko	[liste des fichiers]
mips64el	5.11.4+dfsg1-2+b1	462,9 ko	1 637,0 ko	[liste des fichiers]
mipsel	5.11.4+dfsg1-2+b1	477,0 ko	1 617,0 ko	[liste des fichiers]
ppc64el	5.11.4+dfsg1-2+b1	529,9 ko	1 686,0 ko	[liste des fichiers]
s390x	5.11.4+dfsg1-2+b1	448,8 ko	1 385,0 ko	[liste des fichiers]