[Haskell-cafe] ANNOUNCE: smt-lib-0.0.1
tomahawkins at gmail.com
Sat Jul 17 02:00:29 EDT 2010
smt-lib  is a library for reading and writing SMT-LIB  files via
Haskell. SMT-LIB is a common language and benchmark suite used by
most SMT solvers.
Currently the library supports the full SMT-LIB version 2 syntax.
However at this time, only command scripts -- not responses -- can be
Comments, bug reports, or suggestions for improvements welcome.
More information about the Haskell-Cafe