On 02/06/2008, at 5:18 PM, Guido Tack wrote:
>
> Oh, I somehow didn't see that it's always ternary!  In that case you  
> might really want to try the extensional constraint.  Just implement  
> a generator that lists all allowed tuples.

Nice idea, but really not viable. In practice the domains are much  
larger than 4 (more like 100), and the table size would be O(n^3).

Malcolm

_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to