A collection of C data structures and SAT solver interfaces.
A collection of data structures and SAT solver interfaces for writing solvers