Implementation of "Encoding Treewidth into SAT"
Primary LanguageC++
No issues in this repository yet.