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: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of negate...@gmail.com Sent: Wednesday, May 07, 2014 8:18 AM To: users@gecode.org 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 users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
