JarCasting
JarCasting JarCasting

javasmt-yices2

JavaSMT bindings for the SMT solver Yices

Лицензия

Лицензия
Категории

Категории

ASM Библиотеки уровня приложения Bytecode Manipulation
Группа

Группа

org.sosy-lab
Идентификатор

Идентификатор

javasmt-yices2
Последняя версия

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

3.12.0
Дата

Дата
Тип

Тип

jar
Описание

Описание

javasmt-yices2
JavaSMT bindings for the SMT solver Yices
Ссылка на сайт

Ссылка на сайт

https://github.com/sosy-lab/java-smt
Организация-разработчик

Организация-разработчик

Software Systems Lab
Система контроля версий

Система контроля версий

https://github.com/sosy-lab/java-smt/

Скачать javasmt-yices2

Имя Файла Размер
javasmt-yices2-3.12.0.pom 2 KB
javasmt-yices2-3.12.0-sources.jar 54 KB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/org.sosy-lab/javasmt-yices2/ -->
<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-yices2</artifactId>
    <version>3.12.0</version>
</dependency>
// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-yices2/
implementation 'org.sosy-lab:javasmt-yices2:3.12.0'
// https://jarcasting.com/artifacts/org.sosy-lab/javasmt-yices2/
implementation ("org.sosy-lab:javasmt-yices2:3.12.0")
'org.sosy-lab:javasmt-yices2:jar:3.12.0'
<dependency org="org.sosy-lab" name="javasmt-yices2" rev="3.12.0">
  <artifact name="javasmt-yices2" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.sosy-lab', module='javasmt-yices2', version='3.12.0')
)
libraryDependencies += "org.sosy-lab" % "javasmt-yices2" % "3.12.0"
[org.sosy-lab/javasmt-yices2 "3.12.0"]

Зависимости

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

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

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

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

Версия
3.12.0
3.10.0
3.6.0-27-g42532e0b