JLtl2ba

Java interface to LTL2BA: documentation, download.