Input file: constraint.txt
Constraint Net
Variables:
0 has domain: ["a"]
C has domain: ["p","q","r","x","y","z"]
D has domain: ["p","q","r","x","y","z"]
E has domain: ["p","q","r","x","y","z"]
F has domain: ["p","q","r","x","y","z"]
G has domain: ["p","q","r","x","y","z"]
H has domain: ["p","q","r","x","y","z"]
I has domain: ["p","q","r","x","y","z"]
J has domain: ["p","q","r","x","y","z"]
K has domain: ["p","q","r","x","y","z"]
L has domain: ["p","q","r","x","y","z"]
Constraints
0/C permitted:
[("a",[("p",True),("q",True),("r",True),("x",True),("y",True),("z",True)])]
0/D permitted:
[("a",[("z",False),("y",False),("x",False),("p",False),("q",True),("r",True)])]
0/E permitted:
[("a",[("z",False),("p",True),("q",True),("r",True),("x",True),("y",True)])]
0/F permitted:
[("a",[("p",True),("q",True),("r",True),("x",True),("y",True),("z",True)])]
0/G permitted:
[("a",[("p",True),("q",True),("r",True),("x",True),("y",True),("z",True)])]
0/H permitted:
[("a",[("p",True),("q",True),("r",True),("x",True),("y",True),("z",True)])]
0/I permitted:
[("a",[("p",True),("q",True),("r",True),("x",True),("y",True),("z",True)])]
0/J permitted:
[("a",[("p",True),("q",True),("r",True),("x",True),("y",True),("z",True)])]
0/K permitted:
[("a",[("p",True),("q",True),("r",True),("x",True),("y",True),("z",True)])]
0/L permitted:
[("a",[("p",False),("y",False),("q",True),("r",True),("x",True),("z",True)])]

[["C 6","D 3","E 5","F 8","G 15","H 12","I 7","J 19","K 4","L 9"],["p","q","r","x","y","z"],["22"],["D q r"],["E z","L y p"],["C D","E F"],["C G"],["E G p z"]]