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

[Cesare Tinelli]

On 17 Jul 2010, at 17:18, Aaron Stump wrote:

> 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.
> 

Done. Thanks again to Tom.



Cesare




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