Z3-alpha draft PR (#65)

* Z3-alpha draft PR * Add .json extension to Z3-alpha * first-version submission * second-time submission * third submission --------- Co-authored-by: François Bobot <[email protected]>
SMT-COMP · Jun 18, 2024 · 48587ea · 48587ea
1 parent 12225b0
commit 48587ea
Showing 1 changed file with 35 additions and 0 deletions.
diff --git a/submissions/Z3-alpha.json b/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"]
+ }
+ ]
+}