It could be interesting to see a solution in Pyke of some popular puzzles such as "Einstein's Riddle" http://stackoverflow.com/questions/318888/solving-who-owns-t...

Agreed, it sounds like an interesting library but I want to see some examples first to get a quick taste before I commit to downloading or trawling through the documentation.