CNF.simplify

Undocumented in source. Be warned that the author may not have intended to support it.

struct CNF

void

simplify

(

Literal literal

)

Meta

Source

See Implementation

satd cnf CNF constructors

this

functions

variables