And if so, if you can make the generation efficient (polynomial time).
I should have asked that in the Pure Skill Minesweeper thread [1], but only thought of it more recently.
"The first square you open is guaranteed to be safe, and (by default) you are guaranteed to be able to solve the whole grid by deduction rather than guesswork. (Deductions may require you to think about the total number of mines.)"
I don't know about the runtime though.
I do wish that it allowed me to pick a higher fraction of mines. I found the pure skill minesweeper a lot more challenging (and therefore satisfying) when I increased the fraction from 20% (30 mines on 10x15) to 33.3% (50 mines).