py-aiger==6.2.3
py-aiger-cnf==5.0.8
python-sat==1.8.dev16

