taw's blog: Solving nonograms with ruby and Z3(04) Save Image Image gallery: Exploring the Richness of Sa'd Meaning