Hi, there is no real support for that. The best option is to use Gist and see where during search you reach failure.
Best Christian -- Christian Schulte, Professor of Computer Science, KTH, www.ict.kth.se/~cschulte/ -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of [email protected] Sent: Wednesday, May 07, 2014 8:18 AM To: [email protected] Subject: [gecode-users] debug unsatisfiable conditions 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 [email protected] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
