Reverse Dependencies of py-aiger-cnf

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

• py-aiger-sat — Pythonic interface between AIGs and SAT solvers.
• python-sat — A Python library for prototyping with SAT oracles
• theodias — A python implementation of the theory of dialectical structures.