circuitgraph (pypi): Tools for working with boolean circuits as graphs.
Keywords: boolean-circuits|eda|graphs|netlist|python|satisfiability