These installation instructions apply to Unix systems. The current version of the package has been tested with Linux 2.6.x on Intel processors (in 32-bit mode), but is probably compatible with other operating systems and platforms.
- Uncompress and extract the distribution.
tar xvf lash-v0.92.tar
- Build the package.
The LASH executables can then be found in the subdirectory bin/. The LASH libraries are located in the directory lib/. These can be linked to your own programs by running ld, or your compiler.
gcc -c my-prog.c
ld my-prog.o lib/lash-core.o lib/lash-arith.o lib/ndd-package.o
gcc my-prog.c lib/lash-core.o lib/lash-arith.o lib/ndd-package.o
- splash -v lift.spl
- siflash -v lift.if
- presburger formula.prsb