picosat 965-2 (amd64 binary) in ubuntu oracular
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.
Details
- Package version:
- 965-2
- Status:
- Published
- Component:
- universe
- Priority:
- Extra
Downloadable files
amd64 build of picosat 965-2 in ubuntu hirsute PROPOSED produced
these files:
- picosat_965-2_amd64.deb (89.7 KiB)
Package relationships
- Depends on: