Bump org.sosy-lab:java-smt from 5.0.1 to 5.0.1-523-g9001c0ea4

Bumps [org.sosy-lab:java-smt](https://github.com/sosy-lab/java-smt) from 5.0.1 to 5.0.1-523-g9001c0ea4.
- [Release notes](https://github.com/sosy-lab/java-smt/releases)
- [Changelog](https://github.com/sosy-lab/java-smt/blob/master/CHANGELOG.md)
- [Commits](https://github.com/sosy-lab/java-smt/commits)

---
updated-dependencies:
- dependency-name: org.sosy-lab:java-smt
  dependency-version: 5.0.1-523-g9001c0ea4
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

Author: dependabot[bot]

2023/pom.xml

@@ -16,7 +16,7 @@
     <properties>
         <main.class>dpr.aoc${project.artifactId}.All</main.class>
         <imageName>AOC${project.artifactId}</imageName>
-        <java-smt.version>5.0.1</java-smt.version>
+        <java-smt.version>5.0.1-523-g9001c0ea4</java-smt.version>
     </properties>
 
     <dependencies>