Closed disruptek closed 4 years ago
Rewrite symbolic satisfaction and go back to using sets. We want stretchy semantics here.
Rewrite symbolic satisfaction and go back to using sets. We want stretchy semantics here.