[Haskell-cafe] ANNOUNCE: smt-lib-0.0.1

Tom Hawkins tomahawkins at gmail.com
Sat Jul 17 02:00:29 EDT 2010


smt-lib [1] is a library for reading and writing SMT-LIB [2] 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
parsed.

Comments, bug reports, or suggestions for improvements welcome.

-Tom

[1] http://hackage.haskell.org/package/smt-lib
[2] http://goedel.cs.uiowa.edu/smtlib/


More information about the Haskell-Cafe mailing list