• Главная
• Java библиотеки
• 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.

Последняя версия: 4.8.14

Дата: 13 янв. 2022 г.

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.

Последняя версия: 1.8

Дата: 22 окт. 2020 г.

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.

Последняя версия: 1.8

Дата: 22 окт. 2020 г.

• 1