See also previous discussions on the mailing list. For example http://thread.gmane.org/gmane.comp.lib.gecode.user/2796 http://thread.gmane.org/gmane.comp.lib.gecode.user/2762 http://thread.gmane.org/gmane.comp.lib.gecode.user/1415
Cheers, Mikael Christian Schulte skrev 07/05/14 10:01:
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
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
