@hackage simple-smt0.5.2

A simple way to interact with an SMT solver process.

A simple way to interact with an SMT solver process.