search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
63 stars 15 forks source link

repair formula #27

Closed jwaldmann closed 7 years ago

jwaldmann commented 7 years ago

uh oh, there was a typo in one of the redundant clauses for MUX