Choose one or hit any other key to close the solver : 3.

Input set constraint : [
j=ja\/jo, k=kl\/kh\/ko, we/\ma=0, ol/\md=0, ol/\yn=0, md/\yn=0,
a/\b=0, a/\c=0, a/\d=0, b/\c=0, b/\d=0, c/\d=0, 
n1/\a=0, a/\n5=0, n2/\b=0, b/\n6=0, n3/\c=0, c/\n7=0, n4/\d=0, d/\n8=0,
n1/\n2=0, n1/\n3=0, n1/\n4=0, n1/\n5=0, n1/\n6=0, n1/\n7=0, n1/\n8=0,
n2/\n3=0, n2/\n4=0, n2/\n5=0, n2/\n6=0, n2/\n7=0, n2/\n8=0,
n3/\n4=0, n3/\n5=0, n3/\n6=0, n3/\n7=0, n3/\n8=0,
n4/\n5=0, n4/\n6=0, n4/\n7=0, n4/\n8=0,
n5/\n6=0, n5/\n7=0, n5/\n8=0, n6/\n7=0, n6/\n8=0, n7/\n8=0,
subseteq([s1,s2,s3,s4,s5,s6,s7,s8,s9,s10],a\/b\/c\/d),
subseteq([s1,s2,s3,s4,s5,s6,s7,s8,s9,s10],n1\/n2\/n3\/n4\/n5\/n6\/n7\/n8),
subseteq([s1,s2,s3,s4,s5,s6],ma), subseteq([s7,s8,s9,s10],we),
subseteq([s4,s5,s6,s9,s10],ol), subseteq([s3,s8],md), subseteq([s1,s2,s7],yn),
in(s1,kl), in(s1,kh), in(s1,jo), notin(s1,ko), notin(s1,ja),
in(s2,ja), notin(s2,jo), notin(s2,k), in(s3,ko), in(s3,kh), in(s3,jo), 
notin(s3,kl), notin(s3,ja), in(s4,kl), in(s4,jo), notin(s4,kh), notin(s4,ko),
notin(s4,ja), in(s5,kl), notin(s5,j), notin(s5,kh), notin(s5,ko), in(s6,jo),
notin(s6,k), notin(s6,ja), in(s7,kh), notin(s7,kl), notin(s7,ko), notin(s7,j),
in(s8,ko), notin(s8,kl), notin(s8,kh), notin(s8,j), in(s9,kl), notin(s9,kh),
notin(s9,ko), notin(s9,j), in(s10,kh), notin(s10,kl), notin(s10,ko), notin(s10,j),
a/\ja=0, in(x1,a), in(x1,we), in(x2,a), in(x2,we), x1\= x2, 
in(x3,b), in(x3,ol), in(x3,k), in(x4,b), in(x4,ol), in(x4,k), x3\= x4, b/\yn=0, b/\ko=0,
c/\we/\ko=0, c/\j =0, c/\md =0,
subseteq(d/\yn,[x5]), d/\ol=0, 
n1/\ma, n3/\ma, n5/\ma, in(x6,n6), in(x6,ma), in(x7,n6), in(x7,ma), x6\=x7, in(x8,n8), 
in(x8,ma), in(x9,n8), in(x9,ma), x8\=x9, subseteq(n7/\ma,[x10]),
in(x1,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x2,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x3,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x4,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x5,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x6,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x7,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x8,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x9,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(x10,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y1,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y2,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y3,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y4,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y5,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y6,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y7,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y8,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
in(y1,n1),in(y2,n2),in(y3,n3),in(y4,n4),
in(y5,n5),in(y6,n6),in(y7,n7),in(y8,n8),
subseteq(a,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(b,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(c,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(d,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(n1,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(n2,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(n3,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(n4,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(n5,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(n6,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(n7,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(n8,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(j,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(ja,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(jo,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(k,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(kh,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(kl,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(ko,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(ma,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(md,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(ol,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(we,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]),
subseteq(yn,[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10])
].

Input a list of set variables you want to solve : [a,b,c,d,n1,n2,n3,n4,n5,n6,n7,n8].

Input a list  of element variables you want to solve : [x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y1,y2,y3,y4,y5,y6,y7,y8].


Constraint is satisfiable under the following conditions.

[y7]*[y8] = 0
[y6]*[y8] = 0
[y6]*[y7] = 0
[y5]*[y8] = 0
[y5]*[y7] = 0
[y5]*[y6] = 0
[y4]*[y8] = 0
[y4]*[y7] = 0
[y4]*[y6] = 0
[y4]*[y5] = 0
[y3]*[y8] = 0
[y3]*[y7] = 0
[y3]*[y6] = 0
[y3]*[y5] = 0
[y3]*[y4] = 0
[y2]*[y8] = 0
[y2]*[y7] = 0
[y2]*[y6] = 0
[y2]*[y5] = 0
[y2]*[y4] = 0
[y2]*[y3] = 0
[y1]*[y8] = 0
[y1]*[y7] = 0
[y1]*[y6] = 0
[y1]*[y5] = 0
[y1]*[y4] = 0
[y1]*[y3] = 0
[y1]*[y2] = 0
~[s7,s8,s9,s10]*[x10]*[y7] = [s1,s2,s3,s4,s5,s6]*[y7]
[x9]*[y7] = 0
[x9]*[y6] = 0
[x9]*[y4] = 0
[x9]*[y2] = 0
[x8]*[y7] = 0
[x8]*[y6] = 0
[x8]*[y4] = 0
[x8]*[y2] = 0
[x8]*[x9] = 0
[x7]*[y8] = 0
[x7]*[y7] = 0
[x7]*[y4] = 0
[x7]*[y2] = 0
[x7]*[x9] = 0
[x7]*[x8] = 0
[x6]*[y8] = 0
[x6]*[y7] = 0
[x6]*[y4] = 0
[x6]*[y2] = 0
[x6]*[x9] = 0
[x6]*[x8] = 0
[x6]*[x7] = 0
[x4]*[y6] = 0
[x4]*[y2] = 0
[x4]*[x7] = 0
[x4]*[x6] = 0
[x3]*[y6] = 0
[x3]*[y2] = 0
[x3]*[x7] = 0
[x3]*[x6] = 0
[x3]*[x4] = 0
[x2]*[y5] = 0
[x2]*[y1] = 0
[x2]*[x4] = 0
[x2]*[x3] = 0
[x1]*[y5] = 0
[x1]*[y1] = 0
[x1]*[x4] = 0
[x1]*[x3] = 0
[x1]*[x2] = 0
~[s1,s3,s4,s5,s6,s7,s8,s9,s10]*[y8] = 0
~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*[y7] = 0
~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*[y6] = 0
~[s7,s8,s9,s10]*[y5] = 0
~[s1,s3,s4,s5,s6,s7,s8,s9,s10]*[y4] = 0
~[s7,s8,s9,s10]*[y3] = 0
~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*[y2] = 0
~[s7,s8,s9,s10]*[y1] = 0
~[s1,s2,s3,s4,s5,s6,s7,s8,s9,s10]*[x10] = 0
~[s1,s3,s4,s5,s6]*[x9] = 0
~[s1,s3,s4,s5,s6]*[x8] = 0
~[s1,s2,s3,s4,s5,s6]*[x7] = 0
~[s1,s2,s3,s4,s5,s6]*[x6] = 0
~[s1,s3,s4,s5,s6,s7,s8,s9,s10]*[x5] = [s2]
~[s4,s5,s9,s10]*[x4] = 0
~[s4,s5,s9,s10]*[x3] = 0
~[s7,s8,s9,s10]*[x2] = 0
~[s7,s8,s9,s10]*[x1] = 0


Input elements so that the above holds.
[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,y1,y2,y3,y4,y5,y6,y7,y8] = [s7,s8,s5,s4,s2,s2,s1,s5,s4,s8,s9,s6,s7,s3,s10,s1,s8,s4].

Indicate set variables you want to solve : all.


n8 = [s4,s5]
n4 = [s3]
n7 = [s8]
n3 = [s7]
n6 = [s1,s2]
n2 = [s6]
n5 = [s10]
n1 = [s9]
yn = [s1,s2,s7]
md = [s3,s8]
ol = [s4,s5,s6,s9,s10]
ma = [s1,s2,s3,s4,s5,s6]
we = [s7,s8,s9,s10]
ko = [s3,s8]
kh = [s1,s3,s7,s10]
kl = [s1,s4,s5,s9]
jo = [s1,s3,s4,s6]
ja = [s2]
j = [s1,s2,s3,s4,s6]
d = [s2]
a = [s1,s3,s6,s7,s8]
k = [s1,s3,s4,s5,s7,s8,s9,s10]
c = [s9,s10]*b+[s9,s10]
~[s9,s10]*b = [s4,s5]

