I have a secret obsession with hakank’s constraint programming solutions. One of the things that is difficult with constraint programming is that there are several dozens of solvers out there, and they all have different capabilities and limitations. There have been a bunch of times that I have gotten stuck modeling a problem, find some similar problems with brilliant solutions on hakank’s page, and then realize I should actually be using a different solver or a different language.