Paquet : picosat (960-1build1)
Liens pour picosat
Ressources Trisquel :
Télécharger le paquet source picosat :
Responsable :
Original Maintainer:
- Michael Tautschnig
Ressources externes :
- Page d'accueil [fmv.jku.at]
Paquets similaires :
SAT solver with proof and core support
Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.
PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.
Autres paquets associés à picosat
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.7) [i386]
Télécharger picosat
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
amd64 | 112,4 ko | 727 ko | [liste des fichiers] |
i386 | 118,5 ko | 702 ko | [liste des fichiers] |