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

javasmt-solver-z3 4.8.17

SMT solver Z3 for use in JavaSMT

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

Скачать javasmt-solver-z3 4.8.17

Имя Файла	Размер
javasmt-solver-z3-4.8.17.pom	1 KB
javasmt-solver-z3-4.8.17-libz3java.so	292 KB
javasmt-solver-z3-4.8.17-libz3java.dylib	190 KB
javasmt-solver-z3-4.8.17-libz3java.dll	115 KB
javasmt-solver-z3-4.8.17-libz3.so	28 MB
javasmt-solver-z3-4.8.17-libz3.dylib	22 MB
javasmt-solver-z3-4.8.17-libz3.dll	15 MB
javasmt-solver-z3-4.8.17-com.microsoft.z3.jar	176 KB
Обзор

Зависимости

Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.

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

Данный проект не имеет модулей.