[gecode-users] Clockwise constraint

[Malcolm Ryan]

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