SMT-RAT submission (#164)

* SMT-RAT submission

* update urls to zenodo

Author: ValentinPromies

submissions/smtrat.json

@@ -0,0 +1,22 @@
+{
+    "name": "SMT-RAT",
+    "contributors": [
+        "Jasper Nalbach",
+        "Valentin Promies",
+        "Erika Ábrahám"
+    ],
+    "contacts": ["Jasper Nalbach <[email protected]>", "Valentin Promies <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15754549/files/smtrat-static.tar.gz"
+    },
+    "website": "https://github.com/ths-rwth/smtrat",
+    "system_description": "https://zenodo.org/records/15754549/files/smtcomp-2025.pdf",
+    "command": [ "./smtrat-static" ],
+    "solver_type": "Standalone",
+    "seed": 21,
+    "participations": [
+        { "tracks": ["SingleQuery"], "logics": "(QF_)?NRA" },
+        { "tracks": ["ModelValidation"], "logics": "QF_NRA" }
+    ],
+    "final": true
+}