LP, the Larch Prover -- Distribution

To use LP, you need to retrieve two files from larch.lcs.mit.edu:

LP's run-time library lp.lib.tar.Z

An executable version appropriate for your hardware:

lp.alpha.Z          DEC Alpha AXP running OSF/1
lp.decmips.Z        DECstation running Ultrix 
lp.sparc.Z          Sparcstation running SunOS 4.1 or Solaris 5.3

These files are available both over the WWW and by anonymous ftp. To obtain them by anonymous ftp, type the following commands (with platform replaced by one of alpha, decmips, or sparc). Then uncompress the files you obtained, for example, by typing uncompress *.Z.

csh>       ftp larch.lcs.mit.edu
Name:      anonymous
Password:  your_email_address
ftp>       cd pub/Larch/LP
ftp>       bin
ftp>       get lp.lib.tar.Z
ftp>       get lp.platform.Z
ftp>       quit