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

CNF.removeLiterals

satd cnf CNF
Undocumented in source. Be warned that the author may not have intended to support it.
  1. size_t variableNum;
  2. size_t clauseNum;

Meta

Source

See Implementation

satd cnf CNF constructorsfunctionsvariables

Page generated by adrdox