[SMT-LIB] ANNOUNCE: smtlib2parser-1.0

[Aaron Stump]

Hi, Alberto.

Thanks for making this parser available!  I am sure it will be quite useful
for others.

Aaron

On Tue, Nov 16, 2010 at 2:22 AM, Alberto Griggio <griggio at fbk.eu> wrote:

> Hello list,
> I'd like to announce the first release of an open source parser/lexer
> for SMT-LIB v2, written in C99, Flex and Bison.
> Besides a grammar and an abstract interface for implementing backends,
> the code contains also a sample implementation using the Yices 1 solver
> as a backend (not 100% complete, but it should be enough for
> understanding how the interface is supposed to work).
>
> Everything is released under the MIT license, and is available at:
>  http://es.fbk.eu/people/griggio/misc/smtlib2parser.html
>
> Of course, the whole thing comes with no warranty whatsoever, but I hope
> someone might find it useful.
>
> Any kind of feedback will be appreciated,
>
> Best,
> Alberto
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
>