Kissat SAT Solver

This is a condensed and improved reimplementation in C of CaDiCaL.

It is not incremental yet, but can be used as a library.

The official version is available on GitHub at

Here is the source code submitted to the SAT Competition 2020.

[ kissat-sc2020-039805f2.tar.xz ]

The code has an MIT license.