JarCasting
JarCasting JarCasting
Last Version

org.alloytools.pardinus.nativesat 1.3.0

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
Version

Version

1.3.0
Type

Type

jar
Description

Description

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

Download pardinus.nativesat 1.3.0

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 

<!-- 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.