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

Последняя версия 5.6.6-sosy1 →

javasmt-solver-mathsat5 5.6.6-sosy0

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-sosy0
Тип	Тип dll
Описание	Описание 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 5.6.6-sosy0

Имя Файла	Размер
javasmt-solver-mathsat5-5.6.6-sosy0.pom	2 KB
javasmt-solver-mathsat5-5.6.6-sosy0-mpir.dll	572 KB
javasmt-solver-mathsat5-5.6.6-sosy0-mathsat5j.dll	107 KB
javasmt-solver-mathsat5-5.6.6-sosy0-mathsat.dll	4 MB
javasmt-solver-mathsat5-5.6.6-sosy0-libmathsat5j.so	7 MB
Обзор

Зависимости

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

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

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