z3-turnkey
4.8.14
Z3-TurnKey · A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.
Group: io.github.tudo-aqua - All Dependencies
CVC4-TurnKey (Permissive) · A self-unpacking, standalone CVC4 distribution that ships all required native support code and automatically unpacks it at runtime. Permissive-licensed version.
cvc4-turnkey-gpl
1.8
CVC4-TurnKey (GPL) · A self-unpacking, standalone CVC4 distribution that ships all required native support code and automatically unpacks it at runtime. GPL-licensed version.
