Reverse Dependencies of py-aiger

The following projects have a declared dependency on py-aiger:

• mdd — Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.
• py-aiger-abc — Bridge to using Berkeley-ABC with py-aiger.
• py-aiger-analysis — An extension of py-aiger providing advanced tool support, including SAT and QBF solvers.
• py-aiger-bdd — Aiger to BDD bridge.
• py-aiger-bv — A python library for manipulating sequential and-inverter gates.
• py-aiger-cnf — Python library to convert between AIGER and CNF
• py-aiger-coins — Library for creating circuits that encode discrete distributions.
• py-aiger-dfa — Library for moving between sequential circuits AIGs and DFAs.
• py-aiger-gridworld — Library for modeling gridworlds as AIGER circuits.
• py-aiger-js — A Python library for compiling AIGs to Javascript.
• py-aiger-ptltl — Library for generating (p)ast (t)ense (l)inear (t)emporal (l)ogic monitors as aiger circuits.
• py-aiger-sat — Pythonic interface between AIGs and SAT solvers.