Program menurut lethal.sf.net

LETHAL adalah perpustakaan Java untuk bekerja dengan pohon terbatas dan automata lindung nilai. Ini menyediakan berbagai macam operasi dan evaluasi properti. Selain itu perpustakaan dilengkapi dengan antarmuka pengguna grafis