10

8

6

4

2


8.9

2.1

1 ersatz package

  • ersatz

    8.9 2.1 Haskell
    A monad for interfacing with external SAT solvers

Add another 'ersatz' Package