sat-d ~master (2022-04-03T07:32:45.429282)

Preamble.clauses

satd dimacs Preamble
Undocumented in source.
struct Preamble
size_t clauses;

Meta

Source

See Implementation

satd dimacs Preamble variables

Page generated by adrdox