4ebc84195b49dab8eb2bb34e58a">SAT_INTEGER_PROGRAMMING</a> =(main_research_linear_solverJNI.MPSolver_SAT_INTEGER_PROGRAMMING_get())</td></tr>
<tr class="memdesc:abb5bc4ebc84195b49dab8eb2bb34e58a"><td class="mdescLeft">&#160;</td><td class="mdescRight">SAT based solver (requires only integer and Boolean variables).  <a href="enumcom_1_1google_1_1ortools_1_1linearsolver_1_1MPSolver_1_1OptimizationProblemType.html#abb5bc4ebc84195b49dab8eb2bb34e58a">More...</a><br /></td></tr>
<tr class="separator:abb5bc4ebc84195