|
|
|
|
|
|
by wizeman
2365 days ago
|
|
|
As far as I understand this has been done more than 15 years ago by the "Mines Perfect" game [0], which is open source IIRC. In this case you'd use the Lucky Mode and the Murphy's Law option (although more modes are available). And no SAT solver was used in that game, I think, which to me is more impressive, although perhaps less elegant. [0] http://www.czeppi.de/english/index.html |
|
|