javasmt-solver-z3

SMT solver Z3 for use in JavaSMT

Лицензия

Лицензия

Категории

Категории

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

Группа

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

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

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

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

4.8.17
Дата

Дата

Тип

Тип

pom
Описание

Описание

javasmt-solver-z3
SMT solver Z3 for use in JavaSMT
Ссылка на сайт

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

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

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

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

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

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

Скачать javasmt-solver-z3

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

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

Зависимости

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

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

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

Z3 Theorem Prover

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

Версия
4.8.17
4.8.16
4.8.15
4.8.14
4.8.13
4.8.12
4.8.11
4.8.10
4.8.9-sosy1
z3-4.4.1-1558-gf96cfea
z3-4.4.1-863-g96f6bf7-2
z3-4.4.1-788-g8df145d