org.alloytools.pardinus.nativesat

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

License	MIT License
Categories	Native Development Tools
GroupId	org.alloytools
ArtifactId	pardinus.nativesat
Last Version	1.3.0
Release Date	Jul 20, 2021
Type	jar
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

How to add to project

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.alloytools:pardinus.nativesat:jar:1.3.0'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[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 Jul 20, 2021