PET command-line:

Current version (0.4 of 2011/05/11):

• Option 1: Binary executable for Linux systems. Read the README file for usage information and current requirements and limitations.

jPET eclipse plug-in (recommended):

• The jPET Eclipse plug-in can be installed via an update site similar to other Eclipse plug-ins. To install the plug-in first start Eclipse. Go to Help -> Install new Software. There, you need to specify an update site where the plug-in to be installed is located. The jPET Eclipse plug-in is available at http://costa.ls.fi.upm.es/pet/petUpdateSite/. Follow the steps, click Finish to install the plug-in and restart Eclipse afterwards. Note: Currently, the plug-in only works on Linux systems (we plan to have available versions for other systems soon).
• A demonstration video of jPET is available here.

CLP Heap Solver:

Please visit the CLP Heap Solver page.