This is an old revision of the document!


Tool Support

libvata: a highly optimised non-deterministic finite tree automata library

heavy-minotaut: an additional libvata module for reducing the size of nondeterministic tree automata.


Parosh Aziz AbdullaLukas HolikOndra LengalJiri SimacekTomas Vojnar

Related Resources

tasimsub.1457106195.txt.gz · Last modified: 2016/03/04 23:43 by rmayr