javasmt-solver-mathsat5

Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT

Лицензия	Лицензия Apache License, Version 2.0 MathSAT5 is copyrighted 2009-2020 by Fondazione Bruno Kessler, Trento, Italy, University of Trento, Italy, and others. All rights reserved. MathSAT5 is available for research and evaluation purposes only. It can not be used in a commercial environment, particularly as part of a commercial product, without written permission. MathSAT5 is provided as is, without any warranty. Please write to mathsat@fbk.eu for additional questions regarding licensing MathSAT5 or obtaining more up-to-date versions. MPIR is licensed LGPL v3+
Категории	Категории ASM Библиотеки уровня приложения Bytecode Manipulation
Группа	Группа org.sosy-lab
Идентификатор	Идентификатор javasmt-solver-mathsat5
Последняя версия	Последняя версия 5.6.6-sosy1
Дата	Дата 13 мар. 2022 г.
Тип	Тип so
Описание	Описание javasmt-solver-mathsat5 Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT
Ссылка на сайт	Ссылка на сайт https://github.com/sosy-lab/java-smt
Организация-разработчик	Организация-разработчик Software Systems Lab
Система контроля версий	Система контроля версий https://github.com/sosy-lab/java-smt/

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

Имя Файла	Размер
javasmt-solver-mathsat5-5.6.6-sosy1.pom
javasmt-solver-mathsat5-5.6.6-sosy1.so	7 MB
Обзор

Зависимости

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

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

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

org.sosy-lab

SoSy-Lab

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

Версия
5.6.6-sosy1 13 мар. 2022 г.
5.6.6-sosy0 28 янв. 2022 г.
5.6.6 6 июн. 2021 г.
5.6.5 29 дек. 2020 г.