@hackage smt-lib0.0.2

Parsing and printing SMT-LIB.

SMT-LIB is a common language used by many SMT solvers. This library provides an SMT-LIB AST with parsing and printing utilities.