FreeLat

This is a command line program for constructing free lattices over partial lattices. The free lattice is constructed if it is finite and has at most 100 elements. In the other cases it stops to work after it has found and displayed 101 lattice terms representing pairwise different elements of the lattice; in many cases you can see a repeating pattern in these terms, from which one can guess (and perhaps prove) that the free lattice is infinite.
The program can be downloaded here: FreeLat.exe
It needs no installation. Just download it and run it. It should run under DOS.