Download org.alloytools JAR files with all dependencies

pardinus.nativesat from group org.alloytools (version 1.3.0)

Group: org.alloytools Artifact: pardinus.nativesat
Show documentation Show source

0 downloads

Artifact pardinus.nativesat
Group org.alloytools
Version 1.3.0
Last update 20. July 2021
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

pardinus.core from group org.alloytools (version 1.3.0)

Group: org.alloytools Artifact: pardinus.core
Show documentation Show source

0 downloads

Artifact pardinus.core
Group org.alloytools
Version 1.3.0
Last update 20. July 2021
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies org.sat4j.maxsat, org.sat4j.pb, org.sat4j.core, logback-classic, logback-core, pardinus.nativesat,
There are maybe transitive dependencies!

pardinus.taglets from group org.alloytools (version 1.3.0)

Group: org.alloytools Artifact: pardinus.taglets
Show documentation Show source

0 downloads

Artifact pardinus.taglets
Group org.alloytools
Version 1.3.0
Last update 20. July 2021
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

pardinus from group org.alloytools (version 1.3.0)

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

Group: org.alloytools Artifact: pardinus

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact pardinus
Group org.alloytools
Version 1.3.0
Last update 20. July 2021
Organization not specified
URL https://github.com/haslab/Pardinus
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 1 from 1 (items total 4)