toutes les options
[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : cryptominisat  ]

Paquet : libcryptominisat5-dev (5.11.21+dfsg1-3 et autres)

Liens pour libcryptominisat5-dev

Screenshot

Ressources Debian :

Télécharger le paquet source cryptominisat :

Responsables :

Ressources externes :

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

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
alpha (portage non officiel) 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
amd64 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
arm64 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
armhf 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
hppa (portage non officiel) 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
i386 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
ia64 (portage non officiel) 5.11.15+dfsg1-1.1 18,2 ko86,0 ko [liste des fichiers]
loong64 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
m68k (portage non officiel) 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
ppc64 (portage non officiel) 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
ppc64el 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
riscv64 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
s390x 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
sh4 (portage non officiel) 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
sparc64 (portage non officiel) 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]
x32 (portage non officiel) 5.11.21+dfsg1-3+b1 18,7 ko87,0 ko [liste des fichiers]