/td></tr>
<tr class="separator:ab7b9f3d8de786e766dd296fe34d835b1"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ab8fe03451886a01a76313ca12cc3f2f7"><td class="memItemLeft" align="right" valign="top">template&lt;&gt; </td></tr>
<tr class="memitem:ab8fe03451886a01a76313ca12cc3f2f7"><td class="memTemplItemLeft" align="right" valign="top">::operations_research::sat::LinearBooleanProblem *&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="boolean__problem_8pb_8