'c': [1, 2, 3, 4, 5]
}
constraints = {
('a', 'b'): lambda a, b: a * 2 == b,
('b', 'a'): lambda b, a: b == 2 * a,
('a', 'c'): lambda a, c: a == c,
('c', 'a'): lambda c, a: c == a,
('b', 'c'): lambda b, c: b >= c - 2,
('b', 'c'): lambda b, c: b <= c + 2,
('c', 'b'): lambda c, b: b >= c - 2,
('c', 'b'): lambda c, b: b <= c + 2
}
problem = CSProblem(arcs, domains, constraints)
r = problem.arc_consistency()
print("Edge | New Domain | Edges to Reconsider")
print("--------|----------------|--------------------")
for step in r:
if step == None:
print('Inconsistent !')
else:
edge = step[0]
if edge == None:
print('Result : ', step[1])
