[SMT-LIB] ANNOUNCE: smtlib2parser-1.0

Cesare Tinelli tinelli at cs.uiowa.edu
Wed Nov 17 01:55:16 EST 2010


Hi Alberto,

On 16 Nov 2010, at 18:18, Aaron Stump wrote:

> Hi, Alberto.
> 
> Thanks for making this parser available!  I am sure it will be quite useful
> for others.
> 
Yes, thanks indeed. I have added a link to the tool's website in the utilities section of the SMT-LIB site.


Cesare


> 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
>> 
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib




More information about the SMT-LIB mailing list