From 6279d29a64e9b66c4c769071a809d5c8561fdce6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= Date: Tue, 14 Apr 2026 15:24:27 +0200 Subject: [PATCH 1/2] Add link to the Zulip channel to the website. --- web/content/_index.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/web/content/_index.md b/web/content/_index.md index f970c4e5..0276f8b7 100644 --- a/web/content/_index.md +++ b/web/content/_index.md @@ -20,6 +20,11 @@ present the competitors and results of the competition. - **June 10** Deadline for final versions of participating solvers, including final system descriptions - **July 24–25** SMT Workshop (presentation of results) +### Communication + +If you want to publicly discuss topics such as rules, submission process, or the competition results with the SMT-COMP community, you are welcome in +- `#smtcomp` channel on [SMT-LIB Zulip server](https://smtlib.zulipchat.com) + ### Organizers - [Dominik Winterer](https://wintered.github.io/) (chair) - University of Manchester, United Kingdom From 914956e714142cdbc48426ddace5dd85b9ec6df9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= Date: Tue, 14 Apr 2026 15:27:10 +0200 Subject: [PATCH 2/2] Apply prettier. --- web/content/_index.md | 1 + 1 file changed, 1 insertion(+) diff --git a/web/content/_index.md b/web/content/_index.md index 0276f8b7..fc9842ef 100644 --- a/web/content/_index.md +++ b/web/content/_index.md @@ -23,6 +23,7 @@ present the competitors and results of the competition. ### Communication If you want to publicly discuss topics such as rules, submission process, or the competition results with the SMT-COMP community, you are welcome in + - `#smtcomp` channel on [SMT-LIB Zulip server](https://smtlib.zulipchat.com) ### Organizers