/pdsat

Parallel and Distributed SAT solver

Primary LanguageC++

Watchers