SMT-LIB

1–30 of 69

This is a technical discussion forum for the SMT-LIB initiative. The major goal of SMT-LIB is to promote common standards and maintain a library of benchmarks for SMT solvers.


More information on SMT-LIB can be found on the SMT-LIB website.


If you want to join the group please provide both your first and your last name.


Note: Before May 30, 2017, this forum was hosted on a different server. See the SMT-LIB Archives for posts made on that server.


Important: Please do not post announcements (conference, positions, etc.) on this forum. Use SMT-announce instead.