 and approx-#SAT solver integration via <code>pysat</code> and <code>approxmc</code></li>
<li>implementations of common circuit transformations</li>
</ul>
<p>Look at the examples in <code><a title="circuitgraph.circuit.Circuit" href="circuit.html#circuitgraph.circuit.Circuit">Circuit</a></code> for a quickstart guide.</p>
<details class="source">
<summary>
<span>Expand source code</span>
</summary>
<pre><code class="python">&#34;&#34;&#34;
Tools for working with circuits as graphs.

Python package `circuitg