s="navelem"><a class="el" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html">SatHelper</a></li>  </ul>
</div>
</div><!-- top -->
<div class="header">
  <div class="summary">
<a href="#pub-methods">Public Member Functions</a> &#124;
<a href="#pub-static-methods">Static Public Member Functions</a> &#124;
<a href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper-members.html">List of all members</a>  </div>
  <div class="headertitle">
<div class="title">SatHelper</div>  </div>
</div><!--header-->
<