5 ms·

Love the game. Just wrote a solver in Python: https://github.com/fogleman/OhHi/blob/master/main.py https://github.com/fogleman/OhHi/blob/master/main.py

• bumbledraven 12y ago
  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 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 12y ago
    Yeah, my solver is pretty basic. Was that puzzle from the website? BTW, love your solver... how did you learn about clingo?
    • bumbledraven 12y ago
      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 http://www.takingthefun.com for other games and puzzles I've solved with it.