choco-solver icon indicating copy to clipboard operation
choco-solver copied to clipboard

Published 20 hours ago • verified publisher icon chocoteam

Optimize checking of unsupported values in CouplesBitSetTable

Open jsimomaa opened this issue 6 months ago • 2 comments
trafficstars

Optimize checking of unsupported values in CouplesBitSetTable #1160

jsimomaa avatar May 13 '25 09:05 jsimomaa

Hi

Thank you for PR. Do you need help to make all tests pass?

In addition, did you test other algorithm for binary table? I'm not 100% sure that AC3bitrm is the most efficient and/or in which cases it is the most relevant to use

cprudhom avatar May 16 '25 11:05 cprudhom

Hi

Thank you for PR. Do you need help to make all tests pass?

In addition, did you test other algorithm for binary table? I'm not 100% sure that AC3bitrm is the most efficient and/or in which cases it is the most relevant to use

Hi,

I just ran out of time but I'll try to check the tests shortly.

We initially used CT+ but had some OutOfMemory issues thus we changed to AC3bit+rm

jsimomaa avatar May 16 '25 11:05 jsimomaa