This is a condensed and improved reimplementation in C of
It is not incremental yet, but can be used as a library.
The official version is available on GitHub at https://github.com/arminbiere/kissat
Here is the source code submitted to the SAT Competition
The code has an MIT license.