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:
Please refer to the published document available at for information on using the tool:
https://github.com/lgwagner/SIMPAL/blob/master/documentation/SIMPAL.pdf