@[reducible, inline]
CNF literals identified by some type α
. The Bool
is the polarity of the literal.
true
means positive polarity.
CNF literals identified by some type α
. The Bool
is the polarity of the literal.
true
means positive polarity.