From de837cc1418f2a46b5221918a9bd68a4dc3c93c3 Mon Sep 17 00:00:00 2001
From: ValentinPromies <44966217+ValentinPromies@users.noreply.github.com>
Date: Thu, 13 Jun 2024 13:30:30 +0200
Subject: [PATCH] update solver

---
 submissions/smtrat.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/submissions/smtrat.json b/submissions/smtrat.json
index c9654858..f5a82b9d 100644
--- a/submissions/smtrat.json
+++ b/submissions/smtrat.json
@@ -7,7 +7,7 @@
     ],
     "contacts": ["Jasper Nalbach <nalbach@cs.rwth-aachen.de>", "Valentin Promies <promies@cs.rwth-aachen.de>"],
     "archive": {
-        "url": "https://github.com/ths-rwth/smtrat/releases/download/24.05/smtrat.tgz"
+        "url": "https://github.com/ths-rwth/smtrat/releases/download/24.06/smtrat.tgz"
     },
     "website": "https://github.com/ths-rwth/smtrat",
     "system_description": "https://github.com/ths-rwth/smtrat/blob/master/doc/smtcomp-description/smtcomp-2024.pdf",