[gecode-users] debug unsatisfiable conditions

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of negate273 at gmail.com
Sent: Wednesday, May 07, 2014 8:18 AM
To: users at 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 at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users