py-aiger
dd
bidict
parsimonious
