Various bugfixes

[andreaslundell]

• Also do partitioning on sum of convex functions (including quadratic terms).
• Allow selecting similar primal solution with higher accuracy.
• Enhance debug output of fixed NLP strategy.
• Refactor task for fixed NLP strategy.
• No longer add integer cuts if NLP solver gives solution outside variable bounds.
• Disable check for already added constraints if single-tree strategy is used (Gurobi and Cplex cannot guarantee that cuts are added in all threads).
• Add optimality tolerance setting for MIP solvers.
• Remove some unused options.
• Various other small fixes.

[svigerske]

I'm getting some unused variables warning from these changes:

TaskSelectPrimalCandidatesFromNLP.cpp: In member function ‘virtual bool SHOT::TaskSelectPrimalCandidatesFromNLP::solveFixedNLP()’:
TaskSelectPrimalCandidatesFromNLP.cpp:179:16: warning: unused variable ‘timeStart’ [-Wunused-variable]
  179 |         double timeStart = env->timing->getElapsedTime("Total");
      |                ^~~~~~~~~
TaskSelectPrimalCandidatesFromNLP.cpp:263:16: warning: unused variable ‘timeEnd’ [-Wunused-variable]
  263 |         double timeEnd = env->timing->getElapsedTime("Total");
      |                ^~~~~~~

I'll remove these from my copy of the code, but were these variables meant to be used?

[andreaslundell]

No, they were used for debug output, but I removed it. Can you commit your fix?

[svigerske]

ok. f9b8e98