[gecode-users] Domain constraint

[Hamza Bouchaour]

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 <cschulte at kth.se>
Sent: Friday, September 15, 2017 12:34:10 PM
To: 'Hamza Bouchaour'; users at gecode.org
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, cschulte at kth.se<mailto:cschulte at kth.se>
Expert Researcher, RISE SICS, christian.schulte at ri.se<mailto: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/14ef949c/attachment.html>