2024 solver participant submission: OpenSMT

SMT-COMP · May 30, 2024 · 1992569 · 1992569
1 parent 300b8a5
commit 1992569
Showing 1 changed file with 44 additions and 0 deletions.
diff --git a/submissions/opensmt.json b/submissions/opensmt.json
@@ -0,0 +1,44 @@
+{
+    "name": "OpenSMT",
+    "contributors": [
+        { "name": "Tomáš Kolárik", "website": "https://github.com/Tomaqa" }
+        ,
+        { "name": "Martin Blicha", "website": "https://github.com/blishko" }
+    ],
+    "contacts": [
+        "Tomáš Kolárik <[email protected]>"
+        ,
+        "Martin Blicha <[email protected]>"
+    ],
+    "archive": {
+        "url": "https://zenodo.org/records/11371847/files/opensmt.tgz"
+        ,
+        "h": { "sha256": "f42b6f25012344f76886305d3177eda610999508224135445bb119582d12b30c" }
+    },
+    "command": ["./opensmt"],
+    "website": "https://github.com/usi-verification-and-security/opensmt",
+    "system_description": "https://github.com/usi-verification-and-security/opensmt-doc/blob/master/smt-comp/abstract-2024.pdf",
+    "solver_type": "Standalone",
+    "participations": [
+        {
+            "tracks": ["SingleQuery", "Incremental", "UnsatCore"],
+            "logics": [
+                "QF_UF", "QF_AX",
+                "QF_IDL", "QF_RDL", "QF_LIA", "QF_LRA",
+                "QF_UFIDL", "QF_UFLIA", "QF_UFLRA",
+                "QF_ALIA",
+                "QF_AUFLIA"
+            ]
+        }
+        ,
+        {
+            "tracks": ["ModelValidation"],
+            "logics": [
+                "QF_UF",
+                "QF_IDL", "QF_RDL", "QF_LIA", "QF_LRA",
+                "QF_UFIDL", "QF_UFLIA", "QF_UFLRA"
+            ]
+        }
+    ],
+    "seed": 13
+}