Upgrade Z3 version to 4.12.2 - 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 version to 4.12.2 #132

Closed Saloed closed 1 year ago

Saloed commented 1 year ago

Upgrade Z3 version to 4.12.2
Use custom prebuilt linux binary with fewer runtime dependencies