deiruch / kissat

The Kissat 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.

Run ./configure && make test to configure, build and test in build.

Binaries are provided with each major release.

You can get more information about Kissat in the last solver description for the SAT Competition 2022:

Armin Biere and Mathias Fleury. Gimsatul, IsaSAT and Kissat entering the SAT Competition 2022. In Proc. of SAT Competition 2022 - Solver and Benchmark Descriptions, Tomas Balyo, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda (editors), vol. B-2022-1 of Department of Computer Science Report Series B, pages 10-11, University of Helsinki, 2022.
[ paper | bibtex ]

See NEWS.md for feature updates.

kissat's Issues

Run and test

I've tested some problems with the original Kissat version on Ubuntu, but I wanna try to use your version for Windows. Hence, can you guide me on how to build and run test your version on Windows? I saw two files kissat.dll and kissat.exe in your latest version (3.0.0) but when I typed on file kissat.exe, and then pressed Enter, it closed without result.
Thanks for your contribution!