class="definition">Definition at line <a class="el" href="SatHelper_8java_source.html#l00080">80</a> of file <a class="el" href="SatHelper_8java_source.html">SatHelper.java</a>.</p>

</div>
</div>
<a id="a6f80ba9c4333f3434506100d9fa21e40"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a6f80ba9c4333f3434506100d9fa21e40">&#9670;&nbsp;</a></span>solve()</h2>

<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
      