JarCasting
JarCasting JarCasting

org.alloytools.pardinus.nativesat

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

License

License
Categories

Categories

Native Development Tools
GroupId

GroupId

org.alloytools
ArtifactId

ArtifactId

pardinus.nativesat
Last Version

Last Version

1.3.0
Release Date

Release Date
Type

Type

jar
Description

Description

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

Download pardinus.nativesat

Filename Size
pardinus.nativesat-1.3.0.pom
pardinus.nativesat-1.3.0.jar 15 MB
pardinus.nativesat-1.3.0-sources.jar 15 MB
pardinus.nativesat-1.3.0-javadoc.jar 44 KB
Browse

How to add to project

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

There are no modules declared in this project.

Versions

Version
1.3.0