SHYSTER's source code, and the case law specifications used to test SHYSTER during its development, can be downloaded for no charge. This software is made available without warranty and on certain terms and conditions: read them before downloading anything.
This software can be downloaded in the following formats:
Once the file has been downloaded (and uncompressed or extracted, as appropriate), instructions for installing SHYSTER in a UNIX environment can be found in the file
SHYSTER's source code and the case law specifications can be navigated using your web browser. A technical report on SHYSTER's source code is also available.
|Last modified:||30 April 1995|