networkx
numpy
pysmt@ git+ssh://git@github.com/masinag/pysmt@nrat#egg=pysmt
pywmi
sympy
