[CP-SAT] fix bug with evaluations and violation_ls

2023-05-09 17:50:26 +02:00
parent af8456b0c4
commit 6543b50412
4 changed files with 65 additions and 38 deletions
--- a/ortools/sat/feasibility_jump.h
+++ b/ortools/sat/feasibility_jump.h
@@ -93,7 +93,7 @@ class FeasibilityJumpSolver : public SubSolver {

 private:
  void Initialize();
-  void RestartFromDefaultSolution();
+  void ResetCurrentSolution();
  void PerturbateCurrentSolution();
  std::string OneLineStats() const;