[gecode-users] FlatZinc option -a

[Jean-Noël Monette]

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