search

ekmett / ersatz

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

repair URL #9

Closed jwaldmann closed 2 years ago

ekmett commented 8 years ago

Dropping Or nodes has already been cherry-picked.

The a450a08 patch should probably be reverted, but as much of the rest as is still current would be fine.

jwaldmann commented 2 years ago

I am closing this since it seems done or obsolete now.