Installation Instructions for tool PEALT

  1. These installation instructions assume that your machine has already installed a working copy of the SMT solver Z3 in the path.
  2. Download the latest version of a jar file PealApp-lift-assembly-x.y.z.jar where x.y.z is the latest version number from here
  3. Then, on the command prompt, run 
    % java -jar PealApp-lift-assembly-x.y.z.jar
    which will start PEALT locally on port 8080.
  4. Then go to http://localhost:8080/ to access the web interface of the PEALT tool.