[bumbledraven]

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]

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

[bumbledraven]

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.