Главная
»
Sa pm21
taw's blog: Solving nonograms with ruby and Z3