diff --git a/submissions/STP.json b/submissions/STP.json index 6e6078c7..99992da0 100644 --- a/submissions/STP.json +++ b/submissions/STP.json @@ -12,8 +12,8 @@ "Trevor Hansen " ], "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",