[eclipse-users] Dual Enconding CSP

Hi, sorry my bad english, i'm trying to code a CSP with dual encoding, but i
dont know how define the restriction and variables in this case.

This is the problem

http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume24/samaras05a-html/node7.html

i think for variables..

[V1]::[(0,0,1),(0,1,0),(1,0,0)],
[V2]::[(0,0,1),(1,0,0),(1,1,1)],
[V3]::[(0,1,0),(1,0,0),(1,1,0),(1,1,1)],
[V4]::[(0,0,0),(0,1,1),(1,0,1)],

restriction ????

thanks at all.