[gecode-users] Using MiniZinc/GeCode in VS

[Guido Tack]

Hi Andrei,

VisualStudio isn't the perfect environment for writing MiniZinc (did you mean the MiniZinc IDE?).  But yes, once you have a MiniZinc model, you can certainly run it through Gecode.  There's some information on how to do it on our FlatZinc web page:
http://www.gecode.org/flatzinc.html

You'll have to compile the MiniZinc to FlatZinc using mzn2fzn (have a look at the MiniZinc documentation), using the -I flag with the path to the Gecode mznlib (as explained on our FlatZinc page). Then you can run the generated FlatZinc through our fz executable.

Cheers,
	Guido

Andrei Neboian wrote:

> Dear All,
> 
> Is it then possible to write a model in MiniZinc in the Visual Studio environment and use the GeCode as a solver? I saw that there are mzn-libraries in the GeCode directory...
> 
> I really like MiniZinc because it is easy and intuitive for me to model my problems, but I still want to use GeCode given its speed.
> 
> Many Thanks!
> 
> Andrei _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users

-- 
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20110331/72df49f0/attachment.htm>