@hackage smt-lib0.0.0

Parsing and printing SMT-LIB.

SMT-LIB (http:/goedel.cs.uiowa.edusmtlib/) is a common language used by many SMT solvers. This library provides an SMT-LIB AST with parsing and printing utilities.