alink"><a href="#abb5bc4ebc84195b49dab8eb2bb34e58a">&#9670;&nbsp;</a></span>SAT_INTEGER_PROGRAMMING</h2>

<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">SAT_INTEGER_PROGRAMMING =(main_research_linear_solverJNI.MPSolver_SAT_INTEGER_PROGRAMMING_get())</td>
        </tr>
      </table>
</div><div class="memdoc">

<p>SAT based solver (requires only integer and Boolean variables). </p>
<p>If you pass it mixed integer problems, it will scale c