minisat
Fast and lightweight SAT solver
Command lineScience
Not tested on a device yet. What that means
Commands in the package
minisat
About minisat
From Debian's package description
Despite the NP completeness of the satisfiability 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.
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT.
From Debian's description of the minisat package, under that package's license.
Dependencies
Depends on
libc6libgcc-s1libstdc++6zlib1g
Related apps
- picosatSAT solver with proof and core supportCommand line
- sat4jEfficient library of SAT solvers in JavaCommand line
- cryptominisatSAT solver command line interfaceCommand line
- kissatKeep it simple and clean bare metal SAT solverCommand line
- gmtsar-coreInSAR processing system based on Generic Mapping Tools - coreCommand line
- astrometry.netAstrometry plate solverCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the minisat package, under that package's license.
- Description: Debian's description of the minisat 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.