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.t...@monash.edu http://www.csse.monash.edu/~guidot/ On 13 Jan 2017, 9:41 AM +1100, Johannes Waldmann <johannes.waldm...@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@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
