tisfaction.html">Satisfaction</a></li>
<li class="toctree-l3"><a class="reference internal" href="election/libraries.html">Preference Libraries</a></li>
</ul>
</li>
<li class="toctree-l2"><a class="reference internal" href="rules/index.html">Rules module</a></li>
<li class="toctree-l2"><a class="reference internal" href="analysis/index.html">Analysis module</a></li>
<li class="toctree-l2"><a class="reference internal" href="tiebreaking.html">Tie-Breaking</a></li>
<li class="toctree-l2 current active"><a cla