Using Gurobi as MiniZinc MIP solver

[guido...@gmail.com]

Original post by user mdm (10/NOV/2014)

I would like to add Gurobi as an MIP solver to MiniZinc. I see from this page:

[url:kjsjlnc3]http://www.minizinc.org/g12_www/zinc/doc/html/installation-guide.html[/url:kjsjlnc3]

That there are G12/CPLEX, G12/Gurobi and G12/OSI, which presumably translate the .fzn into the appropriate calls to each solver's API.
I don't however see download links for these. Are these files still in use / available?

The link suggests there was a compressed file:
[quote:kjsjlnc3]Identify and download the appropriate gzipped tarball of G12/Gurobi for your machine...[/quote:kjsjlnc3]

That page gives instructions for Linux/Mac. I am working on a Windows machine.
-----------------------------------------------------
This post was transfered to the google group when the phpbb based forum was shut down
-----------------------------------------------------

[guido...@gmail.com]

Original post by user guido.tack (10/NOV/2014)

Hi,
this link points to an old installation guide for the full Zinc system. We are working on new solver interfaces for MIP solvers, which we hope to release in the next couple of months, but for the time being you can only use the version of CBC that is built into the g12 flatzinc solver that comes with MiniZinc 1.6.

Cheers
Guido

[guido...@gmail.com]

Original post by user alison3492 (10/NOV/2014)

nice post

[ran...@gmail.com]

Is there a way to make this happen?

[Guido Tack]

Those binaries are very outdated and we don’t have Windows versions. But if you don’t mind installing from sources you can check out the develop branch of the MiniZinc git repository, it contains new interfaces to Gurobi and CPLEX. We are preparing a binary release (should happen in the next few weeks).

Cheers,
Guido

[Ranmsés]

Actually I'm interested on linux and osx versions. Thanks for the tip, I'll give it a try.

--
You received this message because you are subscribed to a topic in the Google Groups "MiniZinc" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/minizinc/WS-bKbWZF_A/unsubscribe.
To unsubscribe from this group and all its topics, send an email to minizinc+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/91A6AB28-D4D5-4F03-85D9-F7BC9C8F035C%40monash.edu.

For more options, visit https://groups.google.com/d/optout.

[Indrajit Sen Gupta]

How do I set up MiniZinc 2.1.3 with Gurobi in Windows? In the configuration tab, I can choose Solver as "Gurobi (bundled)". Is that enough if Gurobi is installed in the same machine?

[guido.tack]

That should be enough.  You may have to make sure that you've got the 64 bit version of MiniZinc installed (I think Gurobi doesn't come in 32 bits any more, but it will still be listed in the IDE).

Cheers,

Guido