Hi, An unsatisfiable condition is reported by gecode, if the domain of a
variable is empty after propagating constraints. What are some of the ways to
debug such unsatisfiable fails in the model ? Is there an option, by which
gecode can output (print) the variable whose domain is empty and which
constraint caused this fail ? I’m specifying the model in minizinc and
interface with gecode through fzn-gecode in tools/flatzinc/.
Thanks, ~az
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
