akreuzer/z3-turnkey
Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.
KotlinNOASSERTION
Stargazers
No one’s star this repository yet.
Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.
KotlinNOASSERTION
No one’s star this repository yet.