Python constraint solver w/sample puzzles.