 class="current"><a href="files.html"><span>Files</span></a></li>
    </ul>
  </div>
<div id="nav-path" class="navpath">
  <ul>
<li class="navelem"><a class="el" href="dir_a7cc1eeded8f693d0da6c729bc88c45a.html">ortools</a></li><li class="navelem"><a class="el" href="dir_ec5056a922a91a806cb07a62781afd7d.html">dotnet</a></li><li class="navelem"><a class="el" href="dir_8b5d2cef4335a57c9546b46a514ba9f6.html">Google.OrTools.runtime.linux-x64</a></li><li class="navelem"><a class="el" href="dir_b1c1901f74dfe15999a