GitHub repository: pohmann/symbolicautomata
Primary language: Java
Description: Library for symbolic automata and symbolic visibly pushdown automata