smt-lib
Version 0.0.2 revision 0 uploaded by TomHawkins.
Package meta
- Synopsis
- Parsing and printing SMT-LIB.
- Description
SMT-LIB is a common language used by many SMT solvers. This library provides an SMT-LIB AST with parsing and printing utilities.
- Author
- Tom Hawkins <tomahawkins@gmail.com>
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- http://tomahawkins.org
- Maintainer
- Tom Hawkins <tomahawkins@gmail.com>
- Package URL
- n/a
- Stability
- n/a