如何实现这样的0-1规划

假设有8个0-1变量只能取0或者1
他们分别是x[i][j][k],y[i][s][k][l]
i上限为1，j，k，l的上限也都为2，s的上限为1,isjkl都是正整数
这个这两个数组，每个里面都是4个0-1变量，总共有8个
那么请问如何用程序使得他们符合以下条件：
x[i][j][k]+x[i][j'][l]-2y[i][s][k][l]>=0，（j！=j'）
x[i][j][k]+x[i][j'][l]-y[i][s][k][l]<=1，（j！=j'）
i=1,
j=1,2
k=1,2
j!=j'
s=1
k=1,2
这样就能生出他们8个变量的取值状况，请问这个怎么编写呢，很迷惑啊

我不知道我表达的清楚没有，希望你们可以看明白吧