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
