picosat 960-1 (armhf binary) in ubuntu bionic
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:
- 960-1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Extra
Downloadable files
armhf build of picosat 960-1 in ubuntu vivid PROPOSED produced
these files:
- picosat_960-1_armhf.deb (112.0 KiB)
Package relationships
- Depends on: