search

ekmett / ersatz

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

add haddocks for Ersatz.Relation #72

Closed jwaldmann closed 1 year ago

jwaldmann commented 1 year ago

See #71. Documentation contributed by A. Swiridoff. No API changes in this PR.

jwaldmann commented 1 year ago

Thanks for comments. I am travelling, and will get to this next week.

jwaldmann commented 1 year ago

Thanks for checking my commit. Yeah looks like I have push access (I think I never used it). github's gui suggests: merge, squash, rebase - which shall it be? Or, can you just do it. I am busy, it's the start of teaching term. (I will use ersatz in my class on constraint programming.)