The solver works with a stack, a depth first search (DFS) is performed with "minimum remaining values" heuristic. It is not optimized but will still perform decently, see benchmarks below. Uses ...
If I had to be a nun, I would live in Kentucky among the School Sisters of Notre Dame. And there I would teach and do the crossword. This is because, unlike the nuns themselves, I am highly averse ...