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