[SMT-LIB] ANNOUNCE: smt-lib-0.0.1

[Aaron Stump]

Hi, Tom (CC'ing just SMT-LIB, since I don't know the protocol with
haskell-cafe).

That is really cool!  Thanks for letting us know about that.  When we
(SMT-LIB organizers) are back from IJCAR where we all three are
currently, we'll have some cycles to check it out and link to it or
such from the SMT-LIB web page.

Aaron

On Sat, Jul 17, 2010 at 7:00 AM, Tom Hawkins <tomahawkins at gmail.com> wrote:
> 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/
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
>