Why not just download the minizinc distribution? It includes Gecode. Cheers Christian
-- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Johannes Waldmann Sent: Thursday, January 12, 2017 23:41 To: users@gecode.org Subject: [gecode-users] how to build/use mini/flatzinc back-end? 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
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
