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