intro">
<p>Tools for working with circuits as graphs.</p>
<p>Python package <code><a title="circuitgraph" href="#circuitgraph">circuitgraph</a></code> provides a data structure for the generation,
manipulation, and evaluation of Boolean circuits. The circuits are represented
in a graph format based on the <code>networkx</code> package.</p>
<p>Features include:</p>
<ul>
<li>parsing of generic verilog modules</li>
<li>easy circuit composition</li>
<li>synthesis interface to Genus and Yosys</li>
<li>SAT, #SAT,