picosat 965-2 (s390x binary) in ubuntu lunar
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
s390x build of picosat 965-2 in ubuntu hirsute PROPOSED produced
these files:
- picosat_965-2_s390x.deb (101.9 KiB)
Package relationships
- Depends on:
