JarCasting
JarCasting JarCasting

org.alloytools.pardinus.taglets

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

License

License
GroupId

GroupId

org.alloytools
ArtifactId

ArtifactId

pardinus.taglets
Last Version

Last Version

1.3.0
Release Date

Release Date
Type

Type

jar
Description

Description

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

Download pardinus.taglets

Filename Size
pardinus.taglets-1.3.0.pom
pardinus.taglets-1.3.0.jar 4 KB
pardinus.taglets-1.3.0-sources.jar 2 KB
pardinus.taglets-1.3.0-javadoc.jar 41 KB
Browse

How to add to project

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

Dependencies

system (1)

Group / Artifact Type Version
jdk.tools » jdk.tools jar 1.8

Project Modules

There are no modules declared in this project.

Versions

Version
1.3.0