Library for symbolic automata and symbolic visibly pushdown automata