This is a (very) small SAT solver I made as an assignment to a Formal Software Specification grad course.
To see debug messages, compile with
make debug
Otherwise, use:
make release
This application is released under the MIT license (see LICENSE file).