Download all versions of probkodkod JAR files 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
Tags: wrapper kodkod prob
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!

Wrapper to use Kodkod in ProB.

0 downloads

Artifact probkodkod
Group de.hhu.stups
Version 1.0.5
Last update 04. October 2016
Tags: wrapper kodkod prob
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!

Wrapper to use Kodkod in ProB.

0 downloads

Artifact probkodkod
Group de.hhu.stups
Version 1.0.4
Last update 04. October 2016
Tags: wrapper kodkod prob
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!

Wrapper to use Kodkod in ProB.

0 downloads

Artifact probkodkod
Group de.hhu.stups
Version 1.0.3
Last update 14. September 2015
Tags: wrapper kodkod prob
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 4)