ble_solution_hint()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad770e04cb6d147a9c8d909993248e8cf">PROTOBUF_FINAL</a>
</li>
<li>mutable_solution_info()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aa3638392cb76ffec37b2a077e4fa26c3">PROTOBUF_FINAL</a>
</li>
<li>mutable_solution_lower_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#abba33b2aa33385aac20ddc48a4cc9d8c">PROTOBUF_FINAL</a>
</li>
<li>mutable