Binary package “picosat” in ubuntu bionic
SAT solver with proof and core support
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.
Source package
Published versions
- picosat 960-1 in amd64 (Release)
- picosat 960-1build1 in amd64 (Proposed)
- picosat 960-1build1 in amd64 (Release)
- picosat 960-1 in arm64 (Release)
- picosat 960-1build1 in arm64 (Proposed)
- picosat 960-1build1 in arm64 (Release)
- picosat 960-1 in armhf (Release)
- picosat 960-1build1 in armhf (Proposed)
- picosat 960-1build1 in armhf (Release)
- picosat 960-1 in i386 (Release)
- picosat 960-1build1 in i386 (Proposed)
- picosat 960-1build1 in i386 (Release)
- picosat 960-1 in ppc64el (Release)
- picosat 960-1build1 in ppc64el (Proposed)
- picosat 960-1build1 in ppc64el (Release)
- picosat 960-1 in s390x (Release)
- picosat 960-1build1 in s390x (Proposed)
- picosat 960-1build1 in s390x (Release)