Z3-Noodler-Mocha Submission for SMT-COMP 2025

submissions/Z3-Noodler-Mocha.json

@@ -0,0 +1,24 @@
+{
+    "name": "Z3-Noodler-Mocha",
+    "contributors": [
+        "Shaoke Cui",
+        "Chuan Luo",
+        "Zhenwei Yang",
+        "Chunming Hu"
+    ],
+    "contacts": [
+        "Shaoke Cui <cuisk@buaa.edu.cn>"
+    ],
+    "archive": {
+        "url": "https://zenodo.org/records/15766150/files/noodler-mocha.tar.gz"
+    },
+    "website": "https://github.com/Bazoka13/Z3-Noodler-Mocha",
+    "system_description": "https://github.com/Bazoka13/Z3-Noodler-Mocha/blob/main/Z3_Noodler_Mocha_at_SMT_Comp_2025.pdf",
+    "command": ["./noodler-mocha"],
+    "solver_type": "derived",
+    "seed": "13",
+    "participations": [
+        { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] }
+    ],
+    "final": true
+}

submissions/Z3-Noodler.json

@@ -0,0 +1,25 @@
+{
+    "name": "Z3-Noodler",
+    "archive": {
+        "url": "https://zenodo.org/records/15766150/files/base_solver.tar.gz"
+    },
+    "contributors": [
+        "Vojtěch Havlena",
+        "Juraj Síč",
+        "David Chocholatý",
+        "Lukáš Holík",
+        "Ondřej Lengál",
+        "Michal Hečko"
+    ],
+    "contacts": ["Lukáš Holík <holik@fit.vutbr.cz>"],
+    "website": "https://github.com/VeriFIT/z3-noodler",
+    "system_description": "https://github.com/VeriFIT/z3-noodler/blob/devel/doc/noodler/z3-noodler-system-description-2025.pdf",
+    "command": [ "./z3-noodler" ],
+    "solver_type": "derived",
+    "seed": 48655,
+    "participations": [
+        { "tracks": ["SingleQuery"], "logics": "QF_Strings" }
+    ],
+    "competitive": false,
+    "final": true
+}