Package kissat
Keep It Simple SAT solver
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.
Coincidentally 'kissat' also means 'cats' in Finnish.
This package contains a command-line interface to KISSAT.
Version: 4.0.4
General Commands | |
| kissat | Keep It Simple SAT solver |