satd.dimacs

Undocumented in source.

Members

Aliases

parseResult
alias parseResult = Tuple!(Clause[], "clauses", Preamble, "preamble")
Undocumented in source.

Functions

parseClauses
parseResult parseClauses(File f)
Undocumented in source. Be warned that the author may not have intended to support it.
parsePreamble
Preamble parsePreamble(File f)
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.

Structs

Preamble
struct Preamble
Undocumented in source.

Meta