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: [EMAIL PROTECTED]
Web:http://rsise.anu.edu.au/~banerjed
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
