| Paketname | picosat |
| Beschreibung | SAT solver with proof and core support |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 913-1 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 128 Byte |
| Hängt ab von | libc6 (>= 2.4) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 35240 Byte |
| Prüfsumme MD5 | ec3a982b71542c1c119a72df921db6f8 |
| Prüfsumme SHA1 | b1d76e9622a167d61e86ccffa5c9a1583875ed8a |
| Prüfsumme SHA256 | 3a1aed55e901d864edf0b8077ae7fe3972271de59d4dd20b4733a52486a1d086 |
| Link zum Herunterladen | picosat_913-1_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.
|