Update.

SMT-COMP · Jun 14, 2024 · b46b774 · b46b774
1 parent 4535951
commit b46b774
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/submissions/bitwuzla.json b/submissions/bitwuzla.json
@@ -4,8 +4,8 @@
   "contacts": ["Mathias Preiner <[email protected]>"],
 
   "archive": {
-    "url": "https://zenodo.org/records/11648223/files/bitwuzla-submission-smtcomp-2024.zip?download=1",
-    "h": {"sha256": "3060804e2bc9131c82edb52edf03beb40375ea5f314a7f9524b0a71b0584a340"}
+    "url": "https://zenodo.org/records/11650877/files/bitwuzla-submission-smtcomp-2024.zip?download=1",
+    "h": {"sha256": "30b91aeb4b53852c5bb2181b876a7b2680042f6dfa3f53a3b091fb5accc717d4"}
   },
 
   "command": ["bin/bitwuzla"],