send more money CSP

sendmoremoney.py

#send more money
#gabriel sanchez
#github.com/gabrielsanchez

from constraint import *

p = Problem()

d = range(0,10)

p.addVariable("s", d)
p.addVariable("e", d)
p.addVariable("n", d)
p.addVariable("d", d)
p.addVariable("m", d)
p.addVariable("o", d)
p.addVariable("r", d)
p.addVariable("y", d)

p.addConstraint(AllDifferentConstraint(),('s','e','n','d','m','o','r','y'))
p.addConstraint(lambda m: m>0,('m'))
p.addConstraint(
    lambda s,e,n,d,m,o,r,y:
        1000*(s+m) + 100*(e+o) + 10*(n+r) + d+e == 10000*m + 1000*o + 100*n +10*e+y,
        ('s','e','n','d','m','o','r','y')
)

solution = p.getSolution()
print(solution)
# {'m': 1, 'd': 7, 'e': 5, 'n': 6, 'o': 0, 'r': 8, 's': 9, 'y': 2}
#  9567
#+ 1085 =
# 10652