JarCasting
JarCasting JarCasting
не последняя версия
Последняя версия 3.12.0 →

java-smt 3.9.0-1-g304079c2

Unified acccess layer to SMT solvers

Лицензия

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

Категории

Java Языки программирования
Группа

Группа

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

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

java-smt
Версия

Версия

3.9.0-1-g304079c2
Тип

Тип

jar
Описание

Описание

java-smt
Unified acccess layer to SMT solvers
Ссылка на сайт

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

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

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

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

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

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

Скачать java-smt 3.9.0-1-g304079c2

Имя Файла Размер
java-smt-3.9.0-1-g304079c2.pom
java-smt-3.9.0-1-g304079c2.jar 681 KB
java-smt-3.9.0-1-g304079c2-sources.jar 375 KB
java-smt-3.9.0-1-g304079c2-javadoc.jar 922 KB
Обзор 

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

Зависимости

compile (8)

Идентификатор библиотеки Тип Версия
org.sosy-lab : common jar 0.3000-486-g4e9577e
com.google.guava : guava jar 30.1.1-jre
org.checkerframework : checker-qual jar 3.14.0
com.github.spotbugs : spotbugs-annotations jar 4.2.3
com.google.code.findbugs : jsr305 jar 3.0.2
de.uni-freiburg.informatik.ultimate : smtinterpol jar 2.5-732-gd208e931
io.github.uuverifiers : princess_2.13 jar 2021-05-10
org.codehaus.mojo : animal-sniffer-annotations jar 1.18

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

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