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.