kissat
Keep it simple and clean bare metal SAT solver
Command lineScience
Not tested on a device yet. What that means
Commands in the package
kissat
About kissat
From Debian's package description
Kissat is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.
This package contains binaries needed to use Kissat as a stand-alone tool.
From Debian's description of the kissat package, under that package's license.
Dependencies
Depends on
libc6
Related apps
- minisatFast and lightweight SAT solverCommand line
- picosatSAT solver with proof and core supportCommand line
- sat4jEfficient library of SAT solvers in JavaCommand line
- cryptominisatSAT solver command line interfaceCommand line
- gmtsar-coreInSAR processing system based on Generic Mapping Tools - coreCommand line
- snippyrapid haploid variant calling and core genome alignmentCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the kissat package, under that package's license.
- Description: Debian's description of the kissat 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.