networkx[default]>=3.4.2
salvador==0.1.0
python-sat
