parsimonious
funcy
py-aiger
lenses
