4
$\begingroup$

What is the newest MIP or CP solver (which is model based exact solver)?

I want to follow and wonder developments on solvers. But finding new developed solvers (experimental, academic, commercial etc.) with search is not enough, and sometimes can be missed. Answers to this question can be guiding.

$\endgroup$
5

2 Answers 2

3
$\begingroup$

Below are some popular solvers for MIP & CP (Not an exhaustive list though)

  1. MIP Solvers: Gurobi, CPLEX, XPRESS(FICO), CBC, SCIP, etc..
  2. CP Solvers: MiniZinc, OR-Tools, CP Optimizer(CPLEX), etc..

One of the newest solver that I can across recently for LP/MIP/QP was HIGHS.

$\endgroup$
1
  • 2
    $\begingroup$ Note that MiniZinc is not a CP solver -- it is a high level language which can generate input for other other CP (and MIP and SAT) solvers. $\endgroup$ Feb 1, 2022 at 9:53
2
$\begingroup$

OptaPy might be the newest solver at the time of writing.

OptaPy is an open source Python solver that uses parts of OptaPlanner inside (but it's considered a different solver). It was announced on 5 October 2021.

$\endgroup$
12
  • 2
    $\begingroup$ It may not even be a solver: it does not know when a problem is solved. $\endgroup$ Jan 31, 2022 at 8:08
  • 5
    $\begingroup$ I think the name "solver" implies that it knows when an optimization problem a solved. So no, a heuristic in my view is not a solver. It does not really "solve" a problem. Unless you restate the problem as "give me a good solution for ..." (where good really means "not bad"). There is just no concept of optimality in (most) heuristics. $\endgroup$ Jan 31, 2022 at 8:13
  • 4
    $\begingroup$ OR-Tools and LocalSolver can find guaranteed optimal solutions. Yes, they are proper solvers. They solve optimization problems. They know when they are done and the problem is solved. $\endgroup$ Jan 31, 2022 at 9:56
  • 1
    $\begingroup$ I agree with @GeoffreyDeSmet here, I don't consider the notion of solver to be related to optimality, but rather to finding solutions or bounds. Would IPOPT stop being a solver when executed on a non-convex problem? In addition, MILP and CP solvers are often used just as heuristics $\endgroup$
    – fontanf
    Jan 31, 2022 at 10:06
  • 3
    $\begingroup$ You should add a disclaimer acknowledging your bias when advertising your own projects. $\endgroup$ Jan 31, 2022 at 13:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.