href="cp__model_8pb_8h_source.html">cp_model.pb.h</a>.</p>

</div>
</div>
<a id="a8a06269c8e930c92025bbf058e3cc00e"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a8a06269c8e930c92025bbf058e3cc00e">&#9670;&nbsp;</a></span>New() <span class="overload">[1/2]</span></h2>

<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classoperations__research_1_1sat