tag:blogger.com,1999:blog-27488238.post2634044028599932851..comments2024-03-22T11:34:45.165+01:00Comments on taw's blog: Solving sudoku with ruby and Z3tawhttp://www.blogger.com/profile/16972845140253292628noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-27488238.post-25399291020747488162016-10-29T15:05:37.229+02:002016-10-29T15:05:37.229+02:00Anonymous: What do you mean? The most obvious way ...Anonymous: What do you mean? The most obvious way to solve sudokus is to have one Z3 integer variable per sudoku cell.<br />How you organize them into ruby arrays/hashes/etc. is up to you.tawhttps://www.blogger.com/profile/16972845140253292628noreply@blogger.comtag:blogger.com,1999:blog-27488238.post-42477090287157204752016-10-29T14:30:17.132+02:002016-10-29T14:30:17.132+02:00Very interesting.
Is possible to create box(ing) A...Very interesting.<br />Is possible to create box(ing) Array not rows?Anonymousnoreply@blogger.com