[ Paquet source : picosat ]
Paquet : picosat (965-2)
Liens pour picosat
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 picosat :
Responsables :
- Debian Science Team (Page QA, Archive du courrier électronique)
- Michael Tautschnig (Page QA)
- Nilesh Patra (Page QA)
Ressources externes :
- Page d'accueil [fmv.jku.at]
Paquets similaires :
solveur SAT avec gestion de démonstrations et « core »
Malgré la complétude NP des problèmes de satisfaisabilité de formules booléennes (SAT), les solveurs SAT sont souvent capables de trancher dans un délai raisonnable. Comme tous les autres problèmes de complétude NP sont réductibles à SAT, les solveurs sont devenus des outils polyvalents pour cette classe de problèmes.
PicoSAT est un solveur SAT qui s’avère être plus rapide pour des cas industriels que MiniSAT 2.0, et qui peut générer des démonstrations et des « core » en mémoire.
Autres paquets associés à picosat
|
|
|
|
-
- dep: libc6 (>= 2.7)
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
Télécharger picosat
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| armhf | 83,4 ko | 620,0 ko | [liste des fichiers] |