ches()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a0abe593525e5080953426d932d55ed9f">PROTOBUF_FINAL</a>
</li>
<li>set_num_conflicts()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a2fbce431dcb3c3e03d424e880a80cd57">PROTOBUF_FINAL</a>
</li>
<li>set_num_integer_propagations()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a36dcc81f2d597b9aeddbc94f2f999b1d">PROTOBUF_FINAL</a>
</li>
<li>set_num_variables()
: <a 