Project Group: io.github.tudo-aqua

Z3-TurnKey

io.github.tudo-aqua : z3-turnkey

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.

Last Version: 4.8.14

Release Date:

CVC4-TurnKey (GPL)

io.github.tudo-aqua : 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.

Last Version: 1.8

Release Date:

CVC4-TurnKey (Permissive)

io.github.tudo-aqua : 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.

Last Version: 1.8

Release Date:

  • 1