taw's blog: Solving nonograms with ruby and Z3

taw's blog: Solving nonograms with ruby and Z3