yicesQS submission to the 2025 SMT comp (#186)

* Initial attempt

* adding seed

* new version on Zenodo with the libs

* final version - attempt 1

* rolled back to not using Eio

* added final key

Author: disteph

submissions/yicesQS.json

@@ -0,0 +1,29 @@
+{
+    "name": "YicesQS",
+    "contributors": [
+        "Stéphane Graham-Lengrand"
+    ],
+    "contacts": [
+        "Stéphane Graham-Lengrand <stephane.graham-lengrand@sri.com>"
+    ],
+    "final" : true,
+    "archive": {
+        "url": "https://zenodo.org/records/15769027/files/yicesQS-2025.zip?download=1"
+    },
+    "website": "https://github.com/disteph/yicesQS",
+    "system_description": "https://www.csl.sri.com/users/sgl/Work/Reports/2025-yicesQS.pdf",
+    "solver_type": "derived",
+    "participations": [
+        {
+            "tracks": ["SingleQuery"],
+            "logics": ["BV",
+                       "LIA",
+                       "LRA",
+                       "NIA",
+                       "NRA"
+                       ],
+            "command": ["./yicesQS"]
+        }
+    ],
+    "seed": 0
+}