開發者 lethal.sf.net

LETHAL 是一個 Java 庫，用於處理有限樹和對沖自動機。它提供了各種各樣的操作和財產評估。此外，庫還附帶了一個可編寫腳本的圖形用戶介面，可以快速入門。