networkx[default]>=3.4.2
python-sat>=1.9.dev5
