OpenSMT submission 2025

Author: Tomaqa

submissions/opensmt.json

@@ -0,0 +1,42 @@
+{
+    "name": "OpenSMT",
+    "contributors": [
+        { "name": "Tomáš Kolárik", "website": "https://github.com/Tomaqa" }
+        ,
+        { "name": "Martin Blicha", "website": "https://github.com/blishko" }
+    ],
+    "contacts": [
+        "Tomáš Kolárik <tomas.kolarik@usi.ch>"
+        ,
+        "Martin Blicha <martin.blicha@usi.ch>"
+    ],
+    "archive": {
+        "url": "https://github.com/usi-verification-and-security/opensmt/releases/download/v2.9.2/opensmt-x64-linux-static.tar.bz2"
+    },
+    "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-2025.pdf",
+    "solver_type": "Standalone",
+    "seed": 87,
+    "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"
+            ]
+        }
+    ]
+}