LP, the Larch Prover -- Distribution

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

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

An executable version appropriate for your hardware:

lp.linux.gz          Intel workstation running Linux
lp.solaris.gz        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 linux or solaris). Then uncompress the files you obtained, for example, by typing gunzip *.gz.

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