How to Contribute
Contact Information
For feedback and comments or
please send an email to
Silvio Ranise
or
Cesare Tinelli.
Discussion
There is currently a discussion list dedicated to establishing and
discussing a common format for SMT-LIB,
as well as any other matter regarding the library.
See the Discussion List section for how to join that discussion list.
Benchmarks
The success of this initiative depends on collecting a large and varied set of benchmarks.
An initial set of benchmarks are now avaible, in the current SMT-LIB format,
in the Benchmarks section.
If you would like to contribute your benchmarks to SMT-LIB please contact us
at the address above.