9gag.py

#!/usr/bin/env python2
# Problem: http://9gag.com/gag/a6Qq368?ref=fb.s
# sudo pip2 install python-constraint
from constraint import *
variables = "a", "b", "c"
problem = Problem()
for v in variables:
    problem.addVariable(v, range(10))
problem.addConstraint(AllDifferentConstraint())
problem.addConstraint(FunctionConstraint(lambda a, b, c: (a == 5) + (b == 4) + (c == 8) == 1), variables)
problem.addConstraint(NotInSetConstraint([5, 3, 0]))
problem.addConstraint(FunctionConstraint(lambda a, b, c: (a in [5, 7]) + (b in [1, 7]) + (c in [1, 5]) == 2, variables))
problem.addConstraint(FunctionConstraint(lambda a, b, c: (a in [0, 6]) + (b in [8, 6]) + (c in [8, 0]) == 1, variables))
problem.addConstraint(FunctionConstraint(lambda a, b, c: (a in [4, 7]) + (b in [6, 7]) + (c in [6, 4]) == 1, variables))
print(problem.getSolutions())