s="el" href="classcom_1_1google_1_1ortools_1_1sat_1_1SolutionCallback.html">SolutionCallback</a> callback)</td></tr>
<tr class="separator:a8fe384c0541c908eced79e3b1a29597c"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aaff7a338c4e319bdc81e3936adccdf76"><td class="memItemLeft" align="right" valign="top">static String&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#aaff7a338c4e319bdc81e3936adccdf76">model