@hackage / simple-smt

A simple way to interact with an SMT solver process.

Latest0.9.8

Dependencies

library:simple-smt (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.8 && <10
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause