search

ekmett / ersatz

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

Add general buildFrom function to Ersatz.Relation #35

Closed mheinzel closed 6 years ago

mheinzel commented 7 years ago

This seems useful to me. Name can changed of course.

jwaldmann commented 7 years ago

Your argument function is a -> b -> Bool, it should be a -> b -> Bit?

mheinzel commented 7 years ago

Ah yes, this makes it even more general.

mheinzel commented 7 years ago

In case you are still waiting for updates from me: I fixed up the original commit, so it's ready to merge from my side.