SIMPAL v1.0.0

This is the initial release of SIMPAL. It is a standalone executable for the 64-bit Microsoft Windows platforms. Other platforms will have to check out the source code and use the product export features to build from source.

For this tool to work properly the user must have dot.exe and yices.exe in the path variable. These programs can be found at:

• GraphViz
• Yices SMT solver
  • Yices Version 1

Please refer to the published document available at for information on using the tool:
https://github.com/lgwagner/SIMPAL/blob/master/documentation/SIMPAL.pdf