Upgrade Z3 to 4.13.0 && support Z3 on linux/arm - Githubissues

UnitTestBot / ksmt

Kotlin/Java API for various SMT solvers

https://ksmt.io/

Apache License 2.0

30 stars 14 forks source link

Upgrade Z3 to 4.13.0 && support Z3 on linux/arm #161

Closed Saloed closed 4 months ago