- parseClauses
CNF parseClauses()
Undocumented in source. Be warned that the author may not have intended to support it.
- parsePreamble
Preamble parsePreamble()
Undocumented in source. Be warned that the author may not have intended to support it.
- solverResultToString
string solverResultToString(SolverResult sr)
Undocumented in source. Be warned that the author may not have intended to support it.