Skip to content

Bug fix in Verifier

Made encoding compliant w/ MiniSat literal representation (sign = negation).

Merge request reports

Loading