[SMT-LIB] SMT-LIB goals and simple examples

[cok@frontiernet.net]

Mido,

I'm working on a tutorial that should provide your #2 - but give me a few more weeks.
If you are interested in providing comments on an early version, let me know.

- David

----- "Mido" <mido.wakil at gmail.com> wrote:

> Hi there,
> 
> I've two questions:
> 
> 1. Is it among the goals of the SMT-LIB to be a common language for
> SMT
> solvers users? 
> 2. Are there simple examples to help learning the SMT-LIB syntax?
> 
> Regards.
> 
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib