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

Z3 z3-4.4.1-788-g8df145d

Z3 Theorem Prover, pre-compiled binaries for x86_64 Linux.

Лицензия

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

Категории

ASM Библиотеки уровня приложения Bytecode Manipulation Native Инструменты разработки
Группа

Группа

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

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

javasmt-solver-z3-native
Версия

Версия

z3-4.4.1-788-g8df145d
Тип

Тип

pom
Описание

Описание

Z3
Z3 Theorem Prover, pre-compiled binaries for x86_64 Linux.
Ссылка на сайт

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

https://github.com/Z3Prover/z3
Организация-разработчик

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

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

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

https://github.com/Z3Prover/z3/

Скачать javasmt-solver-z3-native z3-4.4.1-788-g8df145d

Имя Файла Размер
javasmt-solver-z3-native-z3-4.4.1-788-g8df145d.pom
javasmt-solver-z3-native-z3-4.4.1-788-g8df145d.so 4 KB
Обзор 

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

Зависимости

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

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

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