Love the game. Just wrote a solver in Python: https://github.com/fogleman/OhHi/b...

bumbledraven · on Nov 14, 2014

It doesn't terminate on this one:

         '00....',
         '110010',
         '......',
         '0.1.0.',
         '.....0',
         '1.0.10',

This puzzle has a unique solution (See https://news.ycombinator.com/item?id=8606098). To give your solver a hint sufficient to solve the puzzle, set the first row to:

         '00..0.',

fogleman · on Nov 15, 2014

Yeah, my solver is pretty basic. Was that puzzle from the website? BTW, love your solver... how did you learn about clingo?

bumbledraven · on Nov 15, 2014

Was that puzzle from the website?

No, my friend and I made that one. It can be solved without guessing, but it takes another heuristic beyond the three or so that people usually use. We also have ones that require guessing (can't be solved with any reasonable heuristics as far as we know.)

I learned clingo to solve puzzles and business scheduling problems. Check out my web site http://www.takingthefun.com for other games and puzzles I've solved with it.