networkx==3.6.1
python-sat==1.9.dev15
