FTP Access to CLI Technical Reports and Software

Technical Reports: You can view abstracts and optionally the full text of most CLI technical reports starting from Technical Reports. You can also FTP the .dvi or .ps versions of these reports.

Most of the CLI software is available from the FTP site. We provide some links here.

ACL2is now available from the University of Texas at Austin..
Nqthm: see the UT web page to obtain NQTHM.
Pc-Nqthm: see `Obtaining Pc-Nqthm'.
Iacl2: see the Iacl2 README file.
Executable Z: see `Download and install the EZ package'.
There are other software systems available through CLI, including several versions of Common Lisp. See the FTP archive.

FTP Access to CLI Technical Reports and Software

This page is URL http://www.computationallogic.com/ftp/index.html