bidict
py-aiger
py-aiger-bv
funcy
toposort

[BDD]
dd

[SAT]
python-sat
