Download de.hhu.stups JAR files with all dependencies
bmotion from group de.hhu.stups (version 0.3.1)
BMotionWeb Server Common Module
Artifact bmotion
Group de.hhu.stups
Version 0.3.1
Last update 06. November 2016
Organization not specified
URL https://github.com/ladenberger/bmotion
License Eclipse Public License, Version 1.0
Dependencies amount 10
Dependencies jetty-util, netty-socketio, slf4j-api, logback-core, gson, jetty-io, jetty-server, commons-cli, groovy-all, logback-classic,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 0.3.1
Last update 06. November 2016
Organization not specified
URL https://github.com/ladenberger/bmotion
License Eclipse Public License, Version 1.0
Dependencies amount 10
Dependencies jetty-util, netty-socketio, slf4j-api, logback-core, gson, jetty-io, jetty-server, commons-cli, groovy-all, logback-classic,
There are maybe transitive 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!
tlatools from group de.hhu.stups (version 1.0.2)
Modified version of the TLA+ tools for usage in ProB
Artifact tlatools
Group de.hhu.stups
Version 1.0.2
Last update 24. February 2016
Organization not specified
URL https://github.com/hhu-stups/tlatools
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.hhu.stups
Version 1.0.2
Last update 24. February 2016
Organization not specified
URL https://github.com/hhu-stups/tlatools
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
infolog-parser from group de.hhu.stups (version 0.1.0)
Tool to extract Prolog-Doc style comments from a .pl file. This library is a part of the Infolog system.
Artifact infolog-parser
Group de.hhu.stups
Version 0.1.0
Last update 08. August 2015
Organization not specified
URL https://github.com/bendisposto/infolog-parser
License Eclipse Public License, Version 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.hhu.stups
Version 0.1.0
Last update 08. August 2015
Organization not specified
URL https://github.com/bendisposto/infolog-parser
License Eclipse Public License, Version 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
ptolemy-jfmi from group de.hhu.stups (version 1.1.0)
A Java Wrapper for the Functional Mock-up Interface. This library is part of the Ptolemy project.
Artifact ptolemy-jfmi
Group de.hhu.stups
Version 1.1.0
Last update 03. August 2015
Organization not specified
URL https://github.com/hhu-stups/ptolemy-jfmi
License BSD
Dependencies amount 1
Dependencies jna,
There are maybe transitive dependencies!
Group de.hhu.stups
Version 1.1.0
Last update 03. August 2015
Organization not specified
URL https://github.com/hhu-stups/ptolemy-jfmi
License BSD
Dependencies amount 1
Dependencies jna,
There are maybe transitive dependencies!
Page 4 from 4 (items total 35)