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