search

MiniZinc / libminizinc

The MiniZinc compiler
http://www.minizinc.org
Other
494 stars 78 forks source link

Benders' decomposition #258

Open skosch opened 5 years ago

skosch commented 5 years ago

Hi,

I just found this wonderful presentation from 2017: Automatic Logic-based Benders Decomposition with MiniZinc. Great idea, wiring up solvers by hand in C++ can be such a pain. Is this tool available somewhere, or do you have plans to release it all? I would love to take it for a spin, even if it's still alpha-stage code.

cs48a commented 5 years ago

Hi, any update on this? It would be really interesting to see how it works!

Dekker1 commented 5 years ago

There is a very preliminary version that you can soon try. Greame is working on making it available within a week or so. Once it is availabe he will post an update on this issue.

skosch commented 5 years ago

Thanks very much. You guys are awesome!