igraph
z3-solver
pyboolector
python-igraph
numpy
