[gecode-users] Domain constraint

Christian Schulte cschulte at kth.se
Fri Sep 15 13:34:10 CEST 2017


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, cschulte at kth.se

Expert Researcher, RISE SICS, christian.schulte at ri.se

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Hamza Bouchaour
Sent: Friday, September 15, 2017 12:23
To: users at 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.

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20170915/2dd4ab03/attachment.html>


More information about the users mailing list