SMT-LIB communication resources

[Clark Barrett]

Dear SMT-LIB community,

In this email, we want to point you to a few different resources for communication related to the SMT-LIB standard.

1. The SMT-LIB GitHub repository is now the official and preferred site for raising issues, suggesting changes, or proposing extensions.  In all cases, our suggestion is to start by filing an issue using the GitHub issue tracker.  This will be used to keep track of the issue until it is resolved.  If the issue requires some discussion, you may also want to start a discussion using the discussion tab.  The discussion should be linked back to the issue so we can track whether it is resolved.  Using the GitHub repository, it is also possible (and encouraged) to submit pull requests if you have a specific suggestion for improving the documentation.

The GitHub repository is here:

https://github.com/SMT-LIB/SMT-LIB-2

(Note that a similar repository will be created for SMT-LIB version 3 once it is available.)

2. Another resource is the SMT-LIB Zulip organization.  Anyone can join and discuss topics related to SMT-LIB.  The difference between this and GitHub is that Zulip channel discussions will not be tracked the same way that GitHub issues are.  In other words, the SMT-LIB organizers may not follow all discussions on Zulip and will not keep track of questions or proposals made there.  Thus, a suggestion is to use this resource for informal or preliminary discussions, and then transition to GitHub once you are ready to bring the organizers into the discussion.  Note that if a Zulip discussion relates to an issue or discussion on GitHub, we recommend adding a link from the GitHub issue/discussion to the Zulip discussion and vice versa.

The Zulip link is:

https://smtlib.zulipchat.com/

3. The Google group email list (i.e., this email list) will continue to be available for SMT-LIB related announcements, but we encourage most communication to be moved to Zulip or GitHub.

Sincerely,

The SMT-LIB Initiative Organizers,

Clark Barrett

Pascal Fontaine

Cesare Tinelli