LaMa4J

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

Homepage POM file JAR file Javadoc

'it.unimi.dsi:lama4j:1.1.0'

<dependency>
	<groupId>it.unimi.dsi</groupId>
	<artifactId>lama4j</artifactId>
	<version>1.1.0</version>
</dependency>

<dependency org="it.unimi.dsi" name="lama4j" rev="1.1.0"/>

"it.unimi.dsi", "lama4j", "1.1.0"

Dependencies