mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
5 lines
273 B
Plaintext
5 lines
273 B
Plaintext
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.
|