igraph
liberty-parser
numpy
pyboolector
python-igraph
z3-solver
