Download SAL 2.3 Binaries

By downloading the SAL binaries you agree to the terms of the SAL License, which forms part of the SAL Registration Form (for individuals) or the SRI FormalWare License (for institutions). The binaries will not work without a certificate generated by one of these means.

Note that the SAL distribution includes ICS; registration for SAL also covers ICS and you will receive certificates for both systems. Each certificate is for the single site or user named within it, but it is not restricted to any particular host or platform. If you already have a valid certificate, just download the distribution(s) you want.

• Linux (Intel)
• Solaris (Sparc)
• Mac OSX
• Cygwin (help for Cygwin install)

This is all you need to run SAL (and ICS) on most systems. After you've completed the online registration, you'll be able to run the distribution right away.

Last modified: Tue 15 Feb 2005 17:12 PST
Maintainer: Bruno Dutertre