Reasoning About Programs: CAL Tool
HOME | MANUAL | ABOUT | LINKS | DOWNLOAD | CONTACT

Download

Java Application
caltool.zip.

Installation Under Linux
  • Right click the above link and save the zip file to your home directory.
  • Make a directory for the program's files: mkdir calTool
  • Unzip the files using the command: unzip caltool.zip -d calTool
  • Run using the command: java -jar caltool.jar to run from its directory.
Installation Under Windows
  • Right click the above link and save the zip file to your home directory.
  • Make a directory for the program's files.
  • Unzip to that directory using winzip.
  • Double click the jar file to launch the program.