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.

Improve this question
$\endgroup$
5

2 Answers 2

Reset to default
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.

Improve this answer
$\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$
    – Chris Jefferson
    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.

Improve this answer
$\endgroup$
12
  • 2
    $\begingroup$ It may not even be a solver: it does not know when a problem is solved. $\endgroup$
    – Erwin Kalvelagen
    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$
    – Erwin Kalvelagen
    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$
    – Erwin Kalvelagen
    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$
    – Robert Bassett
    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.