[gecode-users] debug unsatisfiable conditions

[negate273 at gmail.com]

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