search

ekmett / ersatz

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

define and export assertClause #33

Closed jwaldmann closed 2 years ago

jwaldmann commented 7 years ago

Hi,

I often need this function assertClause :: [Bit] -> m(). Semantically, it is assert . or but this would create extra clauses (sometimes, a lot of them).

I don't think this function can be realized with the public API (runBit is not exported).

An alternative naming would be assertOr, which would describe semantics better (assertClause describes implementation). I don't really care.

jwaldmann commented 5 years ago

opinions?

jwaldmann commented 2 years ago

I am closing this since the code is obsolete. The issue (#41) still stands.