draft

SMT-COMP · May 30, 2024 · 88f33e2 · 88f33e2
1 parent 300b8a5
commit 88f33e2
Showing 1 changed file with 40 additions and 0 deletions.
diff --git a/submissions/STP.json b/submissions/STP.json
@@ -0,0 +1,40 @@
+{
+    "name": "STP",
+    "contributors": [
+        "Vijay Ganesh",
+        "Trevor Hansen",
+        "Mate Soos",
+        "Dan Liew",
+        "Ryan Govostes",
+        "Andrew V. Jones"
+    ],
+    "contacts": [
+        "Trevor Hansen <[email protected]>"
+    ],
+    "archive": {
+        "url": "https://github.com/stp/stp/releases/download/smtcomp2024/smtcomp-2024.zip",
+        "h": { "sha256": "1" }
+    },
+    "website": "https://stp.github.io/",
+    "system_description": "https://github.com/stp/docs/tree/master/smt2024-descr/descr.pdf",
+    "solver_type": "Standalone",
+    "seed": "1343",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["QF_BV"],
+            "command": ["./stp"]
+        },
+        {
+            "tracks": ["Incremental"],
+            "logics": ["QF_BV"],
+            "command": ["./stp"]
+        },
+        {
+            "tracks": ["ModelValidation"],
+            "logics": ["QF_BV"],
+            "command": ["./stp"]
+        }
+    ]
+}
+