bugfix -> needs new release on hackage

ekmett / ersatz

A monad for interfacing with external SAT solvers

Other

63 stars 15 forks source link

bugfix -> needs new release on hackage #28

Closed jwaldmann closed 7 years ago

jwaldmann commented 7 years ago

I detected and fixed a serious error (that was introduced by me) in the SAT encoding of the choose function, see https://github.com/ekmett/ersatz/pull/27 . This should be pushed to hackage soon-ish.

RyanGlScott commented 7 years ago

I've uploaded ersatz-0.4 to Hackage.