| Paketname | picosat |
| Beschreibung | SAT solver with proof and core support |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 913-4 |
| Sektion | science |
| Priorität | extra |
| Installierte Größe | 380 Byte |
| Hängt ab von | libc6 (>= 2.3) |
| Empfohlene Pakete | |
| Paketbetreuer | Michael Tautschnig |
| Quelle | |
| Paketgröße | 140146 Byte |
| Prüfsumme MD5 | b3832ee19e8c21909af854c5d37459ee |
| Prüfsumme SHA1 | fa5ad867f64ad9a2c11c2487254878d124d15684 |
| Prüfsumme SHA256 | d104d8773bef08a603d6df8197d07511de895f049e34fb334e9af12a49ac81d7 |
| Link zum Herunterladen | picosat_913-4_i386.deb |
| Ausführliche Beschreibung | 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.
|