[gecode-users] FlatZinc option -a

[Guido Tack]

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.monette at 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 at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users