Z3-alpha draft PR

submissions/Z3-alpha.json

@@ -0,0 +1,35 @@
+{
+    "name": "Z3-alpha",
+    "contributors": [
+        "Zhengyang John Lu", "Paul Sarnighausen-Cahn", "Stefan Siemer", "Florin Manea", "Vijay Ganesh" 
+    ],
+    "contacts": ["John Lu <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/11643334/files/z3alpha.tar.gz?download=1"
+    },
+    "website": "https://github.com/JohnLyu2/z3alpha",
+    "system_description": "https://drive.google.com/uc?export=download&id=17IULX6QpcqKJ51BzeT6XttAtyRwJIFyY",
+    "solver_type": "derived",
+    "command": ["z3alpha_submission/z3alpha.py"],
+    "seed": "1231",
+    "participations": [
+        { 
+            "tracks": ["SingleQuery"], 
+            "divisions": [
+                "Bitvec",
+                "QF_Bitvec",
+                "QF_Datatypes",
+                "QF_Equality",
+                "QF_LinearIntArith",
+                "QF_LinearRealArith",
+                "QF_NonLinearIntArith",
+                "QF_NonLinearRealArith",
+                "QF_Strings"
+            ]
+        },
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["QF_AUFBV", "QF_UFBV"]
+        }
+    ]
+}