10

8

6

4

2


8.9

5.0

1 ersatz package

  • ersatz

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

Add another 'ersatz' Package