Contact owners and managers
1–30 of 97

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.