update solver

SMT-COMP · Jun 13, 2024 · de837cc · de837cc
1 parent a2c7d43
commit de837cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/submissions/smtrat.json b/submissions/smtrat.json
@@ -7,7 +7,7 @@
     ],
     "contacts": ["Jasper Nalbach <[email protected]>", "Valentin Promies <[email protected]>"],
     "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",