[gecode-users] Negative table in Gecode

[Peter Nightingale]

Hi,

I hope you're all well, and thoroughly enjoying your IJCAI reviewing!

I'm working on Savile Row's Gecode (flatzinc) output -- I have a type in 
SR for negative table constraints (i.e. the tuple set represents the 
disallowed tuples). I don't see anything that looks relevant in 
registry.cpp.  Obviously turning it into a positive table constraint is 
an exponential explosion.

I could decompose into one constraint per tuple -- but of course this is 
horrible for propagation.

Can you suggest anything better?

Thanks,
Peter