Download pardinus.core JAR file with all 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!

Page 1 from 1 (items total 1)