Reverse Dependencies of py-aiger-bv

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

• mce-spec-inference — Maximum Causal Entropy Specification Inference.
• mdd — Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.
• py-aiger-analysis — An extension of py-aiger providing advanced tool support, including SAT and QBF solvers.
• 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-discrete — Library for modeling functions over discrete sets using aiger circuits.
• py-aiger-gridworld — Library for modeling gridworlds as AIGER circuits.
• 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.