No idea. It's a bug that I haven't been able to straighten out.
My only other complaint…
Sure. As noted in the article, this is unescapable. For the situation you describe it would be possible to segment the constrained squares into distinct "islands" and then consider these independently of each other, reducing the complexity of the solver in these situations.
But it is proven that it is always possible to get into degenerate situations which no solver can ever hope to figure out.
I think my implementation is sufficient to demonstrate the concept and illustrate the article :)
Comments
No idea. It's a bug that I haven't been able to straighten out.
Sure. As noted in the article, this is unescapable. For the situation you describe it would be possible to segment the constrained squares into distinct "islands" and then consider these independently of each other, reducing the complexity of the solver in these situations.
But it is proven that it is always possible to get into degenerate situations which no solver can ever hope to figure out.
I think my implementation is sufficient to demonstrate the concept and illustrate the article :)