JarCasting
JarCasting JarCasting

org.alloytools.pardinus

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

License

License
GroupId

GroupId

org.alloytools
ArtifactId

ArtifactId

pardinus
Last Version

Last Version

1.3.0
Release Date

Release Date
Type

Type

pom
Description

Description

org.alloytools.pardinus
A temporal relational model finder, extending the Kodkod relational model finder.
Project URL

Project URL

https://github.com/haslab/Pardinus
Source Code Management

Source Code Management

http://github.com/haslab/Pardinus/tree/master

Download pardinus

Filename Size
pardinus-1.3.0.pom 4 KB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/org.alloytools/pardinus/ -->
<dependency>
    <groupId>org.alloytools</groupId>
    <artifactId>pardinus</artifactId>
    <version>1.3.0</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/org.alloytools/pardinus/
implementation 'org.alloytools:pardinus:1.3.0'
// https://jarcasting.com/artifacts/org.alloytools/pardinus/
implementation ("org.alloytools:pardinus:1.3.0")
'org.alloytools:pardinus:pom:1.3.0'
<dependency org="org.alloytools" name="pardinus" rev="1.3.0">
  <artifact name="pardinus" type="pom" />
</dependency>
@Grapes(
@Grab(group='org.alloytools', module='pardinus', version='1.3.0')
)
libraryDependencies += "org.alloytools" % "pardinus" % "1.3.0"
[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