Hi Christian, My aim is to remove some values from a variable domains define as intvararray, that insatisfy some criteria in goal to accelerate the branching procedure. Can I do it with a constraint of gecode?
T?l?charger Outlook pour Android<https://aka.ms/ghei36> ________________________________ From: Christian Schulte <[email protected]> Sent: Friday, September 15, 2017 12:34:10 PM To: 'Hamza Bouchaour'; [email protected] Subject: RE: [gecode-users] Domain constraint 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, [email protected]<mailto:[email protected]> Expert Researcher, RISE SICS, [email protected]<mailto:[email protected]> From: [email protected] [mailto:[email protected]] On Behalf Of Hamza Bouchaour Sent: Friday, September 15, 2017 12:23 To: [email protected] 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 [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
