10

8

6

4

2


7.8
0.9

1 simple package

  • simple-smt

    7.8 0.9 Haskell
    A simple way to interact with an SMT solver process.

Add another 'simple' Package