Atur cara mengikut lethal.sf.net

LETHAL adalah perpustakaan Java untuk bekerja dengan pokok terhingga dan automata lindung nilai. Ia menyediakan pelbagai operasi dan penilaian hartanah. Selain itu, perpustakaan dilengkapi dengan antara muka pengguna grafik y