ondrik/libvata

VATA Tree Automata Library

语言：C++ · GitHub 星标：35 · Fork：9

话题：automata · automaton · c-plus-plus · language · tree-automata · union · verification

在 GitHub 上查看原仓库