Try to support z3 on arm64 linux - Githubissues

UnitTestBot / ksmt

Kotlin/Java API for various SMT solvers

https://ksmt.io/

Apache License 2.0

30 stars 14 forks source link

Try to support z3 on arm64 linux #125

Open niyaznigmatullin opened 1 year ago