GitHub repository: ondrik/libvata
Primary language: Roff
Description: VATA Tree Automata Library