LatticeThyPrograms Lisp programs for lattices. These programs are for free, finitely presented and finite lattice. There is a README in src that will help.