Rename base solver of Z3-Inc-Z3++. (#198)

martinjonas · Martin Jonáš · web-flow · commit 8cb652eb3a82 · 2025-07-02T09:47:55.000+02:00
Co-authored-by: Martin Jonáš &lt;martin.jonas@mail.muni.cz&gt;
diff --git a/submissions/Z3-Inc-Z3++-base.json b/submissions/Z3-Inc-Z3++-base.json
@@ -1,5 +1,5 @@
 {
-    "name": "Z3-4-13-4-inc",
+    "name": "Z3-Inc-Z3++-base",
     "archive": {
         "url": "https://zenodo.org/records/15524795/files/z3.zip"
     },

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "Z3-4-13-4-inc",`
	`2`	`+ "name": "Z3-Inc-Z3++-base",`
`3`	`3`	`"archive": {`
`4`	`4`	`"url": "https://zenodo.org/records/15524795/files/z3.zip"`
`5`	`5`	`},`