Documentation

As always, the code is the truth, but fortunately there is some more documentation available:

user manual: manual.pdf

Javadoc API reference: javadoc