MVN

org.alloytools : pardinus

Maven & Gradle

Jul 20, 2021
5 stars

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

<dependency>
    <groupId>org.alloytools</groupId>
    <artifactId>pardinus</artifactId>
    <version>1.3.0</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of org.alloytools : pardinus to add to Maven - Latest Versions:

  • Latest Stable: 1.3.0

All Versions

Choose a version of org.alloytools : pardinus to add to Maven - All Versions:

Version Vulnerabilities Updated
1.3.x
pardinus-1.3.0

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>org.alloytools</groupId>
    <artifactId>pardinus</artifactId>
    <version>1.3.0</version>
</dependency>

Advertisement