CommonSAT
a common C++11 SAT solver interface
CommonSAT Documentation
Generated by   doxygen 1.8.13