><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="keyword">package </span>com.google.ortools.sat;</div>
<div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160; </div>
<div class="line"><a name="l00013"></a><span class="lineno"><a class="line" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">   13</a></span>&#160;<span class="keyword">public</span> <span class="keyword">enum</span> <a class="code" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpS