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