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
Watchers
No one’s watching 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 watching this repository yet.