@hackage smt-lib0.0.0
Parsing and printing SMT-LIB.
Categories
License
BSD-3-Clause
Maintainer
Tom Hawkins <tomahawkins@gmail.com>
Links
Versions
Installation
Dependencies (2)
Dependents (1)
@hackage/acme-everything
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.