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

java-smt 3.7.0-61-gea80187e

Unified acccess layer to SMT solvers

Лицензия

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

Категории

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

Группа

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

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

java-smt
Версия

Версия

3.7.0-61-gea80187e
Тип

Тип

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.7.0-61-gea80187e

Имя Файла Размер
java-smt-3.7.0-61-gea80187e.pom
java-smt-3.7.0-61-gea80187e.jar 655 KB
java-smt-3.7.0-61-gea80187e-sources.jar 364 KB
java-smt-3.7.0-61-gea80187e-javadoc.jar 910 KB
Обзор 

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

Зависимости

compile (8)

Идентификатор библиотеки Тип Версия
org.sosy-lab : common jar 0.3000-457-g2465cf3
com.google.guava : guava jar 30.1-jre
org.checkerframework : checker-qual jar 3.9.1
com.github.spotbugs : spotbugs-annotations jar 4.2.0
com.google.code.findbugs : jsr305 jar 3.0.2
de.uni-freiburg.informatik.ultimate : smtinterpol jar 2.5-732-gd208e931
uuverifiers » princess_2.13 jar 2020-09-18-assertionless
org.codehaus.mojo : animal-sniffer-annotations jar 1.18

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

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