Download probkodkod JAR file with all dependencies
probkodkod from group de.hhu.stups (version 1.0.6)
Wrapper to use Kodkod in ProB.
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!
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!
Page 1 from 1 (items total 1)