attrs==25.3.0
bidict==0.22.1
contourpy==1.3.2
cycler==0.12.1
fonttools==4.57.0
funcy==1.18
kiwisolver==1.4.8
matplotlib==3.10.1
networkx==3.4.2
numpy==2.2.4
packaging==24.2
pillow==11.2.1
py-aiger==6.2.3
py-aiger-cnf==5.0.8
pyparsing==3.2.3
pypblib==0.0.4
pyrsistent==0.19.3
python-dateutil==2.9.0.post0
python-sat==1.8.dev16
six==1.17.0
sortedcontainers==2.4.0
