cryptominisat
SAT solver command line interface
Command lineScience
Not tested on a device yet. What that means
Commands in the package
cryptominisatcryptominisat5
About cryptominisat
From Debian's package description
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
From Debian's description of the cryptominisat package, under that package's license.
Dependencies
Depends on
libc6libcryptominisat5-5.11t64libgcc-s1libstdc++6zlib1g
Related apps
- minisatFast and lightweight SAT solverCommand line
- picosatSAT solver with proof and core supportCommand line
- sat4jEfficient library of SAT solvers in JavaCommand line
- kissatKeep it simple and clean bare metal SAT solverCommand line
- gmtsar-coreInSAR processing system based on Generic Mapping Tools - coreCommand line
- coinor-cbcCoin-or branch-and-cut mixed integer programming solverCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the cryptominisat package, under that package's license.
- Description: Debian's description of the cryptominisat 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.