Programas por lethal.sf.net

LETHAL é uma biblioteca Java para trabalhar com árvores finitas e autômatos de hedge. Fornece uma grande variedade de operações e avaliações de propriedades. Além disso, a biblioteca vem com uma interface de usuário gráfico s