[gecode-users] debug unsatisfiable conditions

[Mikael Zayenz Lagerkvist]

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-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
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users