Lattices

[grossdan]

Hello,

I am reading some papers on semantics, and underlying lattice (and bi-lattice) structures. Are there any known libraries that could make it easy to (relationally) work with lattices.

thank you,

Dan