></li><li class="navelem"><a class="el" href="dir_b2c6d49957bf5d0c7726edb4b829cd4d.html">gen</a></li><li class="navelem"><a class="el" href="dir_dd9e6105f85b4b8d1432afc92516bdf4.html">ortools</a></li><li class="navelem"><a class="el" href="dir_c5b0fe70900e54a4a94ebb062342b0c6.html">sat</a></li>  </ul>
</div>
</div><!-- top -->
<div class="header">
  <div class="summary">
<a href="#nested-classes">Classes</a> &#124;
<a href="#namespaces">Namespaces</a> &#124;
<a href="#define-members">Macros</a> &#124;
<a hr