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

javasmt-solver-cvc4 1.8-prerelease-2020-06-24-g7825d8f28

Лицензия	Лицензия Modified BSD License
Категории	Категории ASM Библиотеки уровня приложения Bytecode Manipulation
Группа	Группа org.sosy-lab
Идентификатор	Идентификатор javasmt-solver-cvc4
Версия	Версия 1.8-prerelease-2020-06-24-g7825d8f28
Тип	Тип so
Описание	Описание javasmt-solver-cvc4 SMT solver CVC4 for use in JavaSMT
Ссылка на сайт	Ссылка на сайт https://github.com/sosy-lab/java-smt
Организация-разработчик	Организация-разработчик Software Systems Lab
Система контроля версий	Система контроля версий https://github.com/sosy-lab/java-smt/

Скачать javasmt-solver-cvc4 1.8-prerelease-2020-06-24-g7825d8f28

Имя Файла	Размер
javasmt-solver-cvc4-1.8-prerelease-2020-06-24-g7825d8f28.pom	-1 bytes
javasmt-solver-cvc4-1.8-prerelease-2020-06-24-g7825d8f28-libcvc4parser.so	2 MB
javasmt-solver-cvc4-1.8-prerelease-2020-06-24-g7825d8f28-libcvc4jni.so	1 MB
javasmt-solver-cvc4-1.8-prerelease-2020-06-24-g7825d8f28-libcvc4.so	18 MB
javasmt-solver-cvc4-1.8-prerelease-2020-06-24-g7825d8f28-CVC4.jar	210 KB
Обзор

Зависимости

Модули Проекта