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
