Update with latest release

SMT-COMP · Jun 13, 2024 · 570fa13 · 570fa13
1 parent 88f33e2
commit 570fa13
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/submissions/STP.json b/submissions/STP.json
@@ -12,8 +12,8 @@
         "Trevor Hansen <[email protected]>"
     ],
     "archive": {
-        "url": "https://github.com/stp/stp/releases/download/smtcomp2024/smtcomp-2024.zip",
-        "h": { "sha256": "1" }
+        "url": "https://github.com/stp/stp/releases/download/2.3.4_cadical/stp",
+        "h": { "sha256": "cfae1bb11406d5c2cc59903a39b7d37cd4bd4da7965b93b1e43a19cd58b7cb6d" }
     },
     "website": "https://stp.github.io/",
     "system_description": "https://github.com/stp/docs/tree/master/smt2024-descr/descr.pdf",