[gecode-users] If then type constraints

[Debdeep Banerjee]

Hi,
How do I model if-then style constraints ? What I want to do is post 
constraints if a variable is assigned a particular value. For example 
say  I have variable set V { v1, v2, v3} and each of them has the domain 
{1,2,3}. what I want to achieve is
    if  v1== 2  then
         v2 !=1  /\  v3 !=3

I know I can do this using a custom propagator, but is there any other way ?

With regards
Debdeep

-- 
Debdeep Banerjee
PhD Candidate
CSL/RSISE/NICTA
Australian National University
Email: debdeep.banerjee at rsise.anu.edu.au
Web:http://rsise.anu.edu.au/~banerjed