How to Contribute
Contact Information
For feedback and comments
please send an email to
Clark Barrett
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 and maintaining a large and varied collection of benchmarks.
The current collection of benchmarks, all the the latest version of the SMT-LIB format,
is available in the Benchmarks section.
If you would like to contribute your benchmarks to SMT-LIB please contact one of the organizers above.