@hackage simple-smt0.9.6

A simple way to interact with an SMT solver process.

A simple way to interact with an SMT solver process.