Update and rename the solver submission

SMT-COMP · Jun 19, 2024 · ae03837 · ae03837
1 parent c61b2bf
commit ae03837
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 17 deletions.
diff --git a/submissions/AriParti.json b/submissions/AriParti.json
diff --git a/submissions/Z3-Parti-Z3++.json b/submissions/Z3-Parti-Z3++.json
@@ -0,0 +1,20 @@
+{
+    "name": "Z3-Parti-Z3++",
+    "contributors": ["Mengyu Zhao", "Shaowei Cai"],
+    "contacts": ["Mengyu Zhao <zhaomy@ios.ac.cn>"],
+    "archive": {
+        "url": "https://zenodo.org/records/11627838/files/Z3-Parti-Z3++.zip",
+        "h": { "sha256": "F36CE32EDFB4932A820F742B91420CF5A33F44634A0A23782FDFDC6C0A9F8020" }
+    },
+    "website": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2024",
+    "system_description": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2024/blob/master/Z3_Parti_Z3pp_at_SMT_COMP_2024.pdf",
+    "solver_type": "derived",
+    "seed": "998244353",
+    "participations": [
+        {
+            "tracks": ["Parallel", "Cloud"],
+            "logics": ["QF_RDL", "QF_IDL", "QF_LRA", "QF_LIA", "QF_NRA", "QF_NIA"],
+            "aws_repository": "https://github.com/shaowei-cai-group/Z3-Parti-Z3pp-at-SMT-COMP-2024"
+        }
+    ]
+}