Download JAR files tagged by kodkod with all dependencies

probkodkod from group de.hhu.stups (version 1.0.6)

Wrapper to use Kodkod in ProB.

Group: de.hhu.stups Artifact: probkodkod
Show all versions Show documentation Show source

0 downloads

Artifact probkodkod
Group de.hhu.stups
Version 1.0.6
Last update 07. October 2016
Organization not specified
URL https://github.com/hhu-stups/probkodkod
License MIT License
Dependencies amount 2
Dependencies org.ow2.sat4j.core, prologlib,
There are maybe transitive 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 5)