Paradox

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

License	GNU General Public License, version 2
GroupId	org.paradox
ArtifactId	paradox
Last Version	4.0
Release Date	Feb 28, 2013
Type	jar
Description	Paradox Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them.
Project URL	http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~koen/paradox/

Download paradox

Filename	Size
paradox-4.0.pom
paradox-4.0.jar	736 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.paradox/paradox/ -->
<dependency>
    <groupId>org.paradox</groupId>
    <artifactId>paradox</artifactId>
    <version>4.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.paradox/paradox/
implementation 'org.paradox:paradox:4.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.paradox/paradox/
implementation ("org.paradox:paradox:4.0")

Apache Buildr

'org.paradox:paradox:jar:4.0'

Apache Ivy

<dependency org="org.paradox" name="paradox" rev="4.0">
  <artifact name="paradox" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.paradox', module='paradox', version='4.0')
)

Scala SBT

libraryDependencies += "org.paradox" % "paradox" % "4.0"

Leiningen

[org.paradox/paradox "4.0"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Versions

Version
4.0 Feb 28, 2013