LaMa4J ("Lattice Manipulation for Java") is a set of Java classes that implement a number of lattices and lattice operations.