PROGRAMS BY lethal.sf.net

LETHAL is a Java library for working with finite tree and hedge automata. It provides a great variety of operations and property evaluations. Additionally the library comes with a scriptable graphical user interface to get st