JarCastingjava-smt
Unified acccess layer to SMT solvers
| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииJava Языки программирования |
| Группа | Группаorg.sosy-lab |
| Идентификатор | Идентификаторjava-smt |
| Последняя версия | Последняя версия3.12.0 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
Описаниеjava-smt
Unified acccess layer to SMT solvers
|
| Ссылка на сайт |
Ссылка на сайт |
| Организация-разработчик |
Организация-разработчик |
| Система контроля версий |
Система контроля версий |
Скачать java-smt
| Имя Файла | Размер |
|---|---|
| java-smt-3.12.0.pom | |
| java-smt-3.12.0.jar | 857 KB |
| java-smt-3.12.0-sources.jar | 520 KB |
| java-smt-3.12.0-javadoc.jar | 892 KB |
| Обзор |
Как подключить последнюю версию
<!-- https://jarcasting.com/artifacts/org.sosy-lab/java-smt/ -->
<dependency>
<groupId>org.sosy-lab</groupId>
<artifactId>java-smt</artifactId>
<version>3.12.0</version>
</dependency>// https://jarcasting.com/artifacts/org.sosy-lab/java-smt/
implementation 'org.sosy-lab:java-smt:3.12.0'// https://jarcasting.com/artifacts/org.sosy-lab/java-smt/
implementation ("org.sosy-lab:java-smt:3.12.0")'org.sosy-lab:java-smt:jar:3.12.0'<dependency org="org.sosy-lab" name="java-smt" rev="3.12.0">
<artifact name="java-smt" type="jar" />
</dependency>@Grapes(
@Grab(group='org.sosy-lab', module='java-smt', version='3.12.0')
)libraryDependencies += "org.sosy-lab" % "java-smt" % "3.12.0"[org.sosy-lab/java-smt "3.12.0"]Зависимости
compile (8)
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.sosy-lab : common | jar | 0.3000-502-gb581f5d |
| com.google.guava : guava | jar | 31.0.1-jre |
| org.checkerframework : checker-qual | jar | 3.21.2 |
| com.github.spotbugs : spotbugs-annotations | jar | 4.5.3 |
| com.google.code.findbugs : jsr305 | jar | 3.0.2 |
| de.uni-freiburg.informatik.ultimate : smtinterpol | jar | 2.5-916-ga5843d8b |
| io.github.uuverifiers : princess_2.13 | jar | 2021-11-15 |
| org.codehaus.mojo : animal-sniffer-annotations | jar | 1.18 |
Модули Проекта
Данный проект не имеет модулей.
