Skip to content

chore(deps): bump org.sosy-lab:javasmt-solver-z3 from 4.15.4 to 4.16.0 in /java#63

Merged
debe merged 2 commits into
mainfrom
dependabot/maven/java/org.sosy-lab-javasmt-solver-z3-4.16.0
May 15, 2026
Merged

chore(deps): bump org.sosy-lab:javasmt-solver-z3 from 4.15.4 to 4.16.0 in /java#63
debe merged 2 commits into
mainfrom
dependabot/maven/java/org.sosy-lab-javasmt-solver-z3-4.16.0

ci: bump Z3 native libs to 4.16.0 to match javasmt-solver-z3 dep

1401f5d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
java
succeeded May 15, 2026 in 5m 53s