@hackage / ersatz

A monad for expressing SAT or QSAT problems using observable sharing.

0.6

Security Advisories

No advisories found.