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
- Branding 0.0.1: Initial version
- Publish the SDK feature of the package.