Here's a solver for the puzzle: http://pastebin.com/ws6wv6Ew http://pastebin.com/ws6wv6Ew It's written in clingo (http://en.wikipedia.org/wiki/Answer_set_progr

Here's a solver for the puzzle: http://pastebin.com/ws6wv6Ew http://pastebin.com/ws6wv6Ew It's written in clingo (http://en.wikipedia.org/wiki/Answer_set_programming http://en.wikipedia.org/wiki/Answer_set_programming)