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
> [email protected]
> https://www.gecode.org/mailman/listinfo/gecode-users
--
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
