taw's blog: Solving nonograms with ruby and Z3(02) Save Image Image gallery: The Two Guys Bow Ties - From Idea to Recognition