new version on Zenodo with the libs

Author: disteph

submissions/yicesQS.json

@@ -7,7 +7,7 @@
         "Stéphane Graham-Lengrand <stephane.graham-lengrand@sri.com>"
     ],
     "archive": {
-        "url": "https://zenodo.org/records/15660439/files/yicesQS-2025.zip?download=1"
+        "url": "https://zenodo.org/records/15660504/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",