Love it, I always enjoy good examples of hard problems solvable with a constraint solver.