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

[Johannes Waldmann]

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.