10

8

6

4

2


9.0

3.7

1 ersatz package

  • ersatz

    9.0 3.7 Haskell
    A monad for interfacing with external SAT solvers

Add another 'ersatz' Package