12

LocalSolver is a company which provides a global optimization solver, combining exact and heuristic techniques.

The benchmarks on their website are quite impressive. For example, they claim they can solve large TSPs within 10 seconds with gaps smaller than 5% in average :

enter image description here

  1. Does anyone have any experience with LocalSolver, and what are the pro's and con's ?

  2. Are there any peer reviewed publications where these benchmarks can be found ? It would be interesting to see if there are any comparisons with heuristics and metaheuristics. Localsolver performs local search after all !

Kuifje
  • 13,324
  • 1
  • 23
  • 56
  • I had a little search on their website and google scholar and found lots of papers talking about their approach in designing the solver(authors are the designers of the LocalSolvers) and found many application papers both in English and French(!). If you search for the designer's name (Thierry Benoist, Frédéric Gardi - these guys have google scholar accounts) you will find the source of all those papers. – Oguz Toragay May 11 '20 at 23:19
  • 2
    http://swmath.org/software/4850 <--- here is a list of academic papers about the solver. – Oguz Toragay May 11 '20 at 23:43
  • I also read somewhere that they (Localsolver) claim to have best solution approach to solve non-linear optimization problems in particular. – Divyam Aggarwal May 12 '20 at 06:16
  • 1
    Note also that LocalSolver is a user on this site. – LarrySnyder610 May 12 '20 at 14:34
  • Yes, I think it is great if they can contribute somehow on this site. It would be interesting to compare their pros and cons, with users. Perhaps it could help them as well identify potential improvements. – Kuifje May 12 '20 at 14:41

1 Answers1

13

Here is a quick summary of the pros and cons of Hexaly (formerly LocalSolver), a global optimization solver combining exact and heuristic techniques. Please note that this summary is written by the Hexaly team, as asked by Kuifje in the comment above.

Pros:

  • You will model your problem using nonlinear and set-based mathematical modeling APIs. Then, your math model will be closer to the real-life problem, more concise, and easier to maintain. For an example of what "set-based modeling" means, have a look at the TSP model described here. Hexaly also supports external functions in your model (black-box optimization) and offers multiobjective modeling features.
  • Having modeled your problem for Hexaly, you will get solutions faster, and your model will be more scalable than MILP solvers, thanks to innovative heuristics. In addition, Hexaly offers (global) dual bounds.

Cons:

  • You must reformulate your problem by using the appropriate Hexaly modeling constructs and following Hexaly modeling best practices.
  • Don't give MILP-like models to Hexaly, especially LP or MPS files, in hopes of getting good results.

State-of-the-art MIP solvers remain better than Hexaly when solving pure linear problems and nearly linear problems (that is, problems that allow good linear approximations). Because the LP codes (simplex, interior-point) used inside these MIP solvers are still stronger than those inside Hexaly (note that we work hard to decrease this gap each year). This performance gap is noticeable for large-scale, ill-posed linear programs. Now, when problems become more combinatorial (in particular: routing, scheduling, packing, assignment) or more nonlinear/nonconvex/nonsmooth in the continuous space, Hexaly is a tool of choice that deserves to be considered for your optimization project.

Additional non-technical strengths of Hexaly that our users mention: the dedicated and reactive support offered by the R&D team to model and solve at best your problems using Hexaly; an aggressive roadmap with two new releases per year with constant performance improvements and new features; a simple, competitive, flexible licensing & pricing.

For examples of problems modeled using Hexaly, have a look at https://www.hexaly.com/docs/last/exampletour/index.html.

Check out this link for some benchmarks against MIP solvers. You can reproduce the results in these benchmarks by registering and asking for free trial licenses on the Hexaly website.

Note that the technical papers on Hexaly you can find online are largely outdated. We haven't published about Hexaly for several years (for evident confidentiality reasons).

Hexaly
  • 2,976
  • 1
  • 11
  • 17
  • 1
    Does LocalSolver offer dual bounds, as well nowadays? That is, can it provide gap information? – Robert Schwarz May 14 '20 at 06:47
  • 1
    @LocalSolver Thanks for your feedback ! LocalSolver seems like a nice tool with many strengths. Also, I enjoyed your recent posts regarding the largest empty rectangle, nice stuff. – Kuifje May 14 '20 at 07:06
  • 1
    @RobertSchwarz Yes, LocalSolver offers (global) dual bounds as well. For example, have a look to https://www.localsolver.com/news.html?id=96. – Hexaly May 14 '20 at 09:52
  • @Kuifje Thanks a lot for your kind words and encouragements. This post was about recreative, funny problems but shows quite well LocalSolver capabilities as global optimization solver. – Hexaly May 14 '20 at 09:58
  • @LocalSolver: can you repost the link with the dual-bounds example, it doesn't work and I can't seem to see a reference to dual bounds in your examples or documentation. Are the dual bounds guaranteed to be accurate in all cases? – ldog Nov 22 '22 at 22:23
  • @LocalSolver: Also I'm confused about what you mean by dual gap, according to your website release notes: "The “gap” mentioned below is the relative gap in % between the solutions computed by LocalSolver 11.5 within 1 minute of running time on a standard server (Intel Core i7-7700K processor, 4 cores, 4.2 GHz, 8MB cache, 64GB RAM) and the best-known solutions available in the research literature." This is not a definition of a dual gap I'm familiar with, I would expect the solver to compute the gap itself. – ldog Nov 22 '22 at 22:26
  • @ldog: LocalSolver computes dual bounds for all objective optimized, as any other global optimization solver. LocalSolver checks constraint feasibility with a relative 1e-6 numerical precision and objective optimality with a relative 1e-4 numerical precision. Check out this link for more detail: https://www.localsolver.com/docs/last/technicalfeatures/solution.html#status-of-the-solution – Hexaly Nov 23 '22 at 19:23
  • @ldog: Most of the users are interested in benchmarks on large-scale problems within minutes of running times. Because this is what they have to deal with in practice. Typical example: solving CVRPTW instances with 1,000 deliveries in 1 minute. Computing meaningful dual bounds in minutes at such a scale is impossible today. Thus, our benchmarks show the gap between LocalSolver primal solutions and the best primal solutions known from the research. Here is our benchmark page: https://www.localsolver.com/benchmarks – Hexaly Nov 23 '22 at 19:44