Programas por lethal.sf.net

LETHAL es una biblioteca Java para trabajar con autómatas de árbol y seto finitos. Proporciona una gran variedad de operaciones y evaluaciones de propiedades. Además, la biblioteca viene con una interfaz gráfica de usuario co