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 _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
