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

[Mido]

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.