mbergen / z3-turnkey Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tudo-aqua/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.
License: Other