PRISM includes a modified version of the CUDD package, a BDD/MTBDD library developed by Fabio Somenzi at Colorado University. Currently, this is based on version 2.4.0. You can download an unmodified copy of this version here:
For more up-to-date information or versions, see the CUDD website.
PRISM includes a translator from PEPA to PRISM, developed by Stephen Gilmore at the University of Edinburgh. PRISM includes a pre-compiled copy of version 0.03.2. The compiler is released under the GPL and you can download the full source code version here:
New versions of the PRISM GUI include a graph-plotting component based on JFreeChart. PRISM includes binary versions (JAR files) for version 1.0.5 of JFreeChart and version 1.0.9 of its dependency JCommon. You can download full source code versions of these here:
For more up-to-date information or versions, see the JFree website.
New versions of the PRISM GUI use the EPS Graphics library to provide export of graphs to EPS files. PRISM includes a binary version (JAR file) for version 1.0.0 of the library. You can download a full source code version here:
For more up-to-date information or versions, see the EPS Graphics website.
