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

Mido mido.wakil at gmail.com
Wed Oct 20 16:05:34 EDT 2010


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.



More information about the SMT-LIB mailing list