JarCasting
JarCasting JarCasting

Project Group: io.github.tudo-aqua

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

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

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