Programas por lethal.sf.net

LETHAL é uma biblioteca de Java para trabalhar com árvore finita e autómatos de sebe. Proporciona uma grande variedade de operações e avaliações de propriedade. Além disso, a biblioteca vem com uma interface de utilizador grá