Need help with kissat?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

arminbiere
217 Stars 24 Forks MIT License 18 Commits 4 Opened issues

Services available

!
?

Need anything else?

Contributors list

# 290,819
C++
Shell
C
18 commits

License: MIT Build Status

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
.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.