OpenSMT submission 2025 (#167)

* OpenSMT submission 2025

* OpenSMT submission 2025 - final

Author: Tomaqa

submissions/opensmt.json

@@ -0,0 +1,45 @@
+{
+    "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://zenodo.org/records/15720348/files/opensmt-x64-linux-static.tar.bz2"
+        ,
+        "h": { "sha256": "be4767bf5d6c08bc7f4f49ae1480f2ae2ac8f38a277d0ec39d56badd974b84bd" }
+    },
+    "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",
+    "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": 87,
+    "final": true
+}