On Tuesday, July 31, 2012 11:48:14 AM UTC-4, David Nolen wrote:
A much shorter version using an everyo goal I just landed in master:
http://gist.github.com/3217582
David
That is awesome.
--
You received this message because you are subscribed to the Google
Groups Clojure group.
To
Ever since I read Norvig's cool Python solution,
http://norvig.com/sudoku.html, I've been wanting to see if this could be
done in core.logic without sacrificing generality. Now that we have cKanren
extensions in master I gave it a shot (thanks to Martin Trojer) and I'm
happy with the results.
Wow, that's pretty nice.
On Tue, Jul 31, 2012 at 8:07 AM, David Nolen dnolen.li...@gmail.com wrote:
Ever since I read Norvig's cool Python solution,
http://norvig.com/sudoku.html, I've been wanting to see if this could be
done in core.logic without sacrificing generality. Now that we have
A much shorter version using an everyo goal I just landed in master:
http://gist.github.com/3217582
David
On Tue, Jul 31, 2012 at 11:36 AM, gaz jones gareth.e.jo...@gmail.comwrote:
Wow, that's pretty nice.
On Tue, Jul 31, 2012 at 8:07 AM, David Nolen dnolen.li...@gmail.com
wrote:
Ever
On Tuesday, July 31, 2012 11:48:14 AM UTC-4, David Nolen wrote:
A much shorter version using an everyo goal I just landed in master:
http://gist.github.com/3217582
That is easily the clearest sudoku solver I have ever seen. It reads
*exactly* like the rules of the game.
Great stuff
(swap! *mind* (constantly :blown))
Sent from phone. Please excuse brevity.
On Jul 31, 2012 9:18 PM, David Nolen dnolen.li...@gmail.com wrote:
A much shorter version using an everyo goal I just landed in master:
http://gist.github.com/3217582
David
On Tue, Jul 31, 2012 at 11:36 AM, gaz