开发者 lethal.sf.net

LETHAL 是一个 Java 库，用于处理有限树和对冲自动机。它提供了各种各样的操作和财产评估。此外，库还附带了一个可编写脚本的图形用户界面，可以快速入门。