Update STP-Parti-Bitwuzla-at-SMT-COMP-2025.json

Author: zmylinxi99

submissions/STP-Parti-Bitwuzla-at-SMT-COMP-2025.json

@@ -8,7 +8,7 @@
     ],
     "contacts": ["Mengyu Zhao <[email protected]>"],
     "archive": {
-        "url": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025"
+        "url": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025/releases/download/v1.0.0/STP-Parti-Bitwuzla-at-SMT-COMP-2025-zenodo.zip"
     },
     "website": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025",
     "system_description": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025/blob/master/STP_Parti_Bitwuzla_at_SMT_COMP_2025.pdf",