Get the files by ftp
The library is available by ftp at the following address:
ftp://ftp-sop.inria.fr/galaad/ALP.tgz
or via a cvs server, by typing:
cvs -d :pserver:cvs@cvs-sop.inria.fr:/CVS/galaad co ALP
Here are more details on the installation and use.