File | Date | Author | Commit |
---|---|---|---|
ch.ethz.eventb.qualprob | 2017-07-23 | Thái Sơn Hoàng | [78bb2e] Qual. Prob. Features and Plug-ins: Update versi... |
ch.ethz.eventb.qualprob-feature | 2017-07-23 | Thái Sơn Hoàng | [78bb2e] Qual. Prob. Features and Plug-ins: Update versi... |
ch.ethz.eventb.qualprob.branding | 2017-07-23 | Thái Sơn Hoàng | [78bb2e] Qual. Prob. Features and Plug-ins: Update versi... |
ch.ethz.eventb.qualprob.sdk | 2017-07-23 | Thái Sơn Hoàng | [78bb2e] Qual. Prob. Features and Plug-ins: Update versi... |
ch.ethz.eventb.qualprob.ui | 2017-07-23 | Thái Sơn Hoàng | [78bb2e] Qual. Prob. Features and Plug-ins: Update versi... |
README.md | 2017-07-23 | Thái Sơn Hoàng | [6769ca] README updated |
This package provides supports for qualitative probability reasoning
(termination with probability 1). There are different bundles for the package can be installed via the update site (RODIN sourceforge update site).
ch.ethz.eventb.qualprob_feature_x.x.x.x.jar The basic feature containing the binary build of the package.
ch.ethz.eventb.qualprob.sdk_x.x.x.x.jar The SDK feature containing the source code and tests used for development.
The complete source code of the package can be downloaded as a zip file ch.ethz.eventb.qualprob_x.x.x.zip