Thanks, we actually received another bug report about the same problem a couple of days ago and I already fixed it.
Cheers, Guido > On 3 Dec 2014, at 1:05 am, Jean-Noël Monette <jean-noel.mone...@it.uu.se> > wrote: > > Hi, > > There seems to be a slight misunderstanding about the meaning of the "-a" > option of MiniZinc in fzn-gecode. > > According to the help, "-a" is expected to search for all solutions and print > them. > > $ mzn-gecode --help > [...] > -a, --all-solns, --all-solutions > Print all solutions. > [...] > > $ fzn-gecode --help > [...] > -a (optional: false, 0, true, 1) default: false > return all solutions (equal to -solutions 0) > [...] > > However, this is not implemented like that, as "-a" as no effect for SAT > problems but allows to print all intermediate solutions for optimization > problems (and not just the last found one). > > By the way, the option "-solutions" named in the help of fzn-gecode does not > exist but is actually called "-n". But "-a" is not equivalent to "-n 0" (in > SAT problems). > > Cheers, > > Jean-Noël > > _______________________________________________ > 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
