rent-entities indented1"><span class="separator"></span> <a href="ProbabilisticBooleanClause.html" title="A disjunctive set of literals, annotated with a probability (soft clause)." class="class"></a><a href="ProbabilisticBooleanClause.html" title="A disjunctive set of literals, annotated with a probability (soft clause).">ProbabilisticBooleanClause</a></li><li class="current-entities indented1"><span class="separator"></span> <a href="SolverParametersOverlay.html" title="Solver and sampling settings." clas