py-aiger
py-aiger-bv
dd
bidict
parsimonious
