Preamble

Undocumented in source.

struct Preamble {

size_t variables;

size_t clauses;

}

Members

Variables

clauses size_t clauses;: Undocumented in source.
variables size_t variables;: Undocumented in source.

Meta

Source

See Implementation

satd dimacs aliases

parseResult

functions

structs

Preamble