tml">circuitgraph.sat</a></code></dt>
<dd>
<div class="desc"><p>Functions for executing SAT, #SAT, and approx-#SAT on circuits …</p></div>
</dd>
<dt><code class="name"><a title="circuitgraph.tx" href="tx.html">circuitgraph.tx</a></code></dt>
<dd>
<div class="desc"><p>Functions for transforming circuits …</p></div>
</dd>
<dt><code class="name"><a title="circuitgraph.utils" href="utils.html">circuitgraph.utils</a></code></dt>
<dd>
<div class="desc"><p>Various circuit related utilities …</p></div>
</dd>
