JarCasting
JarCasting JarCasting

Paradox

Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them.

Лицензия

Лицензия
Группа

Группа

org.paradox
Идентификатор

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

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

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

4.0
Дата

Дата
Тип

Тип

jar
Описание

Описание

Paradox
Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them.
Ссылка на сайт

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

http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~koen/paradox/

Скачать paradox

Имя Файла Размер
paradox-4.0.pom
paradox-4.0.jar 736 KB
Обзор

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

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

Зависимости

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

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

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

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

Версия
4.0