Arguments: int conflict_trail_index, int conflict_decision_level,
int conflict_lbd
This will be called by the solver engine after each conflict. The arguments
reflect the state of the solver when the conflict was detected and before
the backjump.
Returns true if the solver should be restarted before the next decision is
taken. Note that this will return true just once and then assumes that
the search was restarted and starts worrying about the next restart.
[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2024-08-06 UTC."],[[["The `RestartPolicy` class in C++ defines the logic for restarting the SAT tree search within the OR-Tools solver."],["It provides methods to track restart statistics (`InfoString`, `NumRestarts`), react to conflicts (`OnConflict`), and determine restart timing (`ShouldRestart`)."],["Users can reset the policy using `Reset` and initialize it with `RestartPolicy` using a model."],["The policy helps guide the solver's search process by strategically restarting it based on conflict analysis and other factors."]]],["The `RestartPolicy` class manages SAT tree search restarts. It provides methods to monitor and control the restart process. Key actions include: `Reset` to initialize the policy, `OnConflict` to update the policy after each conflict (recording conflict details), `ShouldRestart` to determine if a restart is needed, and `NumRestarts` to get the restart count. `InfoString` provides statistics about the current restarts. The class decides when to trigger a restart based on internal logic and solver state.\n"]]
