javasmt-solver-yices2

SMT solver Yices for use in JavaSMT

Лицензия	Лицензия Apache License, Version 2.0 GPL v3
Категории	Категории ASM Библиотеки уровня приложения Bytecode Manipulation
Группа	Группа org.sosy-lab
Идентификатор	Идентификатор javasmt-solver-yices2
Последняя версия	Последняя версия 2.6.2-396-g194350c1
Дата	Дата 8 сент. 2021 г.
Тип	Тип so
Описание	Описание javasmt-solver-yices2 SMT solver Yices for use in JavaSMT
Ссылка на сайт	Ссылка на сайт https://github.com/sosy-lab/java-smt
Организация-разработчик	Организация-разработчик Software Systems Lab
Система контроля версий	Система контроля версий https://github.com/sosy-lab/java-smt/

Скачать javasmt-solver-yices2

Имя Файла	Размер
javasmt-solver-yices2-2.6.2-396-g194350c1.pom	2 KB
javasmt-solver-yices2-2.6.2-396-g194350c1-libyices2j.so	2 MB
Обзор

Зависимости

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

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

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

Версии библиотеки

Версия
2.6.2-396-g194350c1 8 сент. 2021 г.