org.alloytools.pardinus

A temporal relational model finder, extending the Kodkod relational model finder.

License	MIT License
GroupId	org.alloytools
ArtifactId	pardinus
Last Version	1.3.0
Release Date	Jul 20, 2021
Type	pom
Description	org.alloytools.pardinus A temporal relational model finder, extending the Kodkod relational model finder.
Project URL	https://github.com/haslab/Pardinus
Source Code Management	http://github.com/haslab/Pardinus/tree/master

Download pardinus

Filename	Size
pardinus-1.3.0.pom	4 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.alloytools/pardinus/ -->
<dependency>
    <groupId>org.alloytools</groupId>
    <artifactId>pardinus</artifactId>
    <version>1.3.0</version>
    <type>pom</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.alloytools/pardinus/
implementation 'org.alloytools:pardinus:1.3.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.alloytools/pardinus/
implementation ("org.alloytools:pardinus:1.3.0")

Apache Buildr

'org.alloytools:pardinus:pom:1.3.0'

Apache Ivy

<dependency org="org.alloytools" name="pardinus" rev="1.3.0">
  <artifact name="pardinus" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.alloytools', module='pardinus', version='1.3.0')
)

Scala SBT

libraryDependencies += "org.alloytools" % "pardinus" % "1.3.0"

Leiningen

[org.alloytools/pardinus "1.3.0"]

Dependencies

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

Project Modules

• org.alloytools.pardinus.core
• org.alloytools.pardinus.nativesat
• org.alloytools.pardinus.taglets

Versions

Version
1.3.0 Jul 20, 2021