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

Components