Paquet : libcryptominisat5-dev (5.8.0+dfsg1-1 et autres)

Liens pour libcryptominisat5-dev

Ressources Debian :

Télécharger le paquet source cryptominisat :

Responsables :

Ressources externes :

Page d'accueil [www.msoos.org]

Paquets similaires :

development files for the CryptoMiniSat SAT solver

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

This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.

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

Autres paquets associés à libcryptominisat5-dev

dépendances

recommandations

suggestions

enhances

dep: libcryptominisat5-5.8 (= 5.8.0+dfsg1-1+b3)

SAT solver library

Télécharger libcryptominisat5-dev

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	5.8.0+dfsg1-1+b3	13,6 ko	64,0 ko	[liste des fichiers]
arm64	5.8.0+dfsg1-1+b3	13,6 ko	64,0 ko	[liste des fichiers]
armel	5.8.0+dfsg1-1+b3	13,6 ko	64,0 ko	[liste des fichiers]
armhf	5.8.0+dfsg1-1+b3	13,6 ko	64,0 ko	[liste des fichiers]
i386	5.8.0+dfsg1-1+b3	13,6 ko	64,0 ko	[liste des fichiers]
mips64el	5.8.0+dfsg1-1+b3	13,6 ko	64,0 ko	[liste des fichiers]
mipsel	5.8.0+dfsg1-1+b3	13,6 ko	64,0 ko	[liste des fichiers]
ppc64el	5.8.0+dfsg1-1+b3	13,6 ko	64,0 ko	[liste des fichiers]
s390x	5.8.0+dfsg1-1+b3	13,6 ko	64,0 ko	[liste des fichiers]