An automata library at VeriFIT, name to be decided. Starting as a clone of Ondra Lengal's VATA2 Building git clone https://github.com/ondrik/libvata2 cd libvata2 make release Documentation see this page