PRISM is free and open source software. You can download both the tool and its source code for free from below. Distribution is under the GNU General Public License (GPL).
Which version of PRISM?
The current version of PRISM is 3.3.1 (first released 22 November 2009). This fixes a number of small bugs in the earlier 3.3 release. (See the changelog for precise details.)
Major new improvements and additions in these versions, since the last main release (3.2) include:
There are also many other improvements and bug fixes. Further details are here (and in more detail here).
IMPORTANT: As a consequence of the new and improved language parser, there are a few changes to the PRISM modelling language which may break your existing models. Please see here for details.
To access more recently developed features, try the development versions.
You can also download the previous stable release (3.2).
Which distribution?
PRISM is known to run on:
We distribute binary versions for (32-bit) Linux and Windows. For all others, you can build the source code version. In fact, for all non-Windows platforms, we recommend that you build PRISM from source code to ensure compatibility.
The 32-bit Windows binary can be run on 64-bit versions of Windows, provided you are running a 32-bit version of Java. If you want a native 64-bit version, you will need to try building from source on Windows using Cygwin.
How do I install it?
See the installation instructions, included in the PRISM manual (which is also distributed with the tool).
If you have any problems, first check the list of common problems and questions.
If you are still stuck, post a message on the discussion group.
Once you have installed PRISM, you might want to look at:
Download:
