I do not know what inconsistent values mean. Values removed by propagation are of course not considered during branching anyway. If you want to skip certain variables on top of that read about branch filter functions in MPG.
C -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, RISE SICS, christian.schu...@ri.se From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Hamza Bouchaour Sent: Friday, September 15, 2017 12:23 To: users@gecode.org Subject: [gecode-users] Domain constraint Hello, I would like to know if there is anyway in gecode to remove some inconsistent values from an IntVarArry (ex.M), before doing a branching on M. Thank you.
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
