search

ekmett / ersatz

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

Rename forall to forall_ #74

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

Fixes #73.