Lattice Version 1

This programs works with lattices and ordered sets with up to 62 elements. It can be used to check if your input is a lattice or if one lattice can be embedded into another. In particular, you can check whether two lattices are isomorphic (this is not always easy to decide just by taking a look at their pictures).
The program can be downloaded here: Lattice.exe
It needs no installation. Just download it and run it. It should run under most versions of Windows.
It is almost self-explanatory; it contains a help page (hit the key 'h' when running the program). You can find more information in the answers to Frequently asked questions.. Also, as an example, you may want to download an input file MinBig.Lat containing a list of 81 minimal big lattices (this file is not needed to run the program).