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

[Christian Schulte]

Why not just download the minizinc distribution? It includes Gecode. Cheers
Christian

--
Christian Schulte, www.gecode.org/~schulte
Professor of Computer Science, KTH, cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Johannes Waldmann
Sent: Thursday, January 12, 2017 23:41
To: users at 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 at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4623 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20170113/04945e58/attachment.bin>