Links for py-aiger-analysis