Resources

Syntax checker and Plan Validator

Latest version now available through this link (October'14).

The following resources are available in this archive:

Please contact us if there are any problems in using it, compiling it or if you find any bugs.