A preliminary version of a Wright toolset is available that:
To download the toolset, please register with us first.
Once a Wright description is translated to CSP, many of the standard consistency and completeness checks defined in Wright are mechanically checkable with the commercial CSP checker, FDR.
For more information on how FDR is used to automate Wright's consistency and completeness checks, see our tutorial package, which contains, among other things, a tutorial introduction to using the tools for analyzing Wright descriptions.. Note that the tutorial is stored in a gzipped tar file; some browsers incorrectly truncate the filename, complicating extraction.