networkx
numpy
python-sat
