GitHub repository: max-co/bracket
Primary language: C++
Description: Bracket Rabin (tree) Automata Checker of (non-)Emptiness Tool