picosat
SAT solver with proof and core support
Command lineScience
Not tested on a device yet. What that means
Commands in the package
picosatpicomuspicosat.trace
About picosat
From Debian's package description
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.
From Debian's description of the picosat package, under that package's license.
Dependencies
Depends on
libc6
Related apps
- minisatFast and lightweight SAT solverCommand line
- coqproof assistant for higher-order logic (toplevel and compiler)Command line
- sat4jEfficient library of SAT solvers in JavaCommand line
- staden-io-lib-utilsprograms for manipulating DNA sequencing filesCommand line
- cryptominisatSAT solver command line interfaceCommand line
- kissatKeep it simple and clean bare metal SAT solverCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the picosat package, under that package's license.
- Description: Debian's description of the picosat package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.