_solution_upper_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#add78ea8400872dc53be179a1c87b637e">PROTOBUF_FINAL</a>
</li>
<li>mutable_sufficient_assumptions_for_infeasibility()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4a5d4067a27a12b463fbdea495ff08fe">PROTOBUF_FINAL</a>
</li>
<li>mutable_table()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a196be210395f162c7727fec0a8d3ca15">PROTOBUF_FINAL</a>
<