This project uses:
- checkstyle 5.7 for checking java code style
- junit 4.11 for unit test
- jacoco 0.7.1 for code coverage
- pegdown doclet 1.1.1 for generating javadoc
- graphviz for generating uml graphics
- pandoc and LaTex for the tutorials
- Published under the CeCILL-B licence
If you are using this project in research activities including publication, you have to cite it using (BibTeX format)
- authors: Karell Bertet et al
- title: java-lattices: a Java library for lattices computation
- year: 2014
- how published: http://kbertet.github.io/java-lattices
- Karell Bertet: main developer architect