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

Source

See Source File

satd modules