line"><a name="l00066"></a><span class="lineno">   66</span>&#160; </div>
<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;  <span class="keyword">private</span> <span class="keyword">final</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProto.html">CpModelProto</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProto_1_1Builder.html">Builder</a> modelBuilder;</div>
<div class="line"><a name="l00068"></a><span class="lineno">   6