School of Computer Science

Downloads

Pre-built versions of SCH-IMP are available for the following platforms:

Example SCH-IMP programs are included in the examples/ directory.

If your platform is not listed here, you can build SCH-IMP from the source code — see Compiling SCH-IMP.