[gecode-users] how to build/use mini/flatzinc back-end?

[Guido Tack]

You may have run into a problem with the latest version of the GCC compiler.  You can try compiling the current svn trunk, it should fix this issue.

Cheers,
Guido

--
GUIDO TACK
Senior Lecturer

Information Technology
Monash University
Level 6, Room 6.40, Building H, Caulfield Campus
900 Dandenong Road
Caulfield East VIC 3145
Australia
T: +61 3 9903 1214
E: guido.tack at monash.edu
http://www.csse.monash.edu/~guidot/

On 13 Jan 2017, 9:41 AM +1100, Johannes Waldmann <johannes.waldmann at htwk-leipzig.de>, wrote:
> Hi.
>
> I am trying to use gecode (5.0.0)
> to solve minizinc or flatzinc constraints.
>
> When I run mzn-gecode , I get: minizinc: not found
> (I do have built from source, and installed, libminizinc)
>
> When I do mzn2fzn golomb.mzn 03.dzn (from minizinc-benchmarks)
> and then fzn-gecode golomb.fzn , I get a segfault.
>
> Best regards, Johannes.
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20170114/e32f6078/attachment.html>