javasmt-solver-boolector

SMT solver Boolector for use in JavaSMT

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

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

Имя Файла	Размер
javasmt-solver-boolector-3.2.2-gcc3a7091.pom	-1 bytes
javasmt-solver-boolector-3.2.2-gcc3a7091-libpicosat.so	82 KB
javasmt-solver-boolector-3.2.2-gcc3a7091-libminisat.so	106 KB
javasmt-solver-boolector-3.2.2-gcc3a7091-libboolector.so	3 MB
Обзор

Зависимости

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

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

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

org.sosy-lab

SoSy-Lab

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

Версия
3.2.2-gcc3a7091 12 дек. 2021 г.
3.2.2-g0783aa84 7 дек. 2021 г.
3.2.2-g1a89c229 29 янв. 2022 г.
3.2.1-30-g95859db8 23 янв. 2021 г.