我构建了一个已经知道每个棋盘解决方案的方块匹配游戏——在这里它解决了刚刚让我输掉的那一局。

（视频：我故意弄丢一块板子，然后游戏在该板子上回放正确的通关顺序。）

独立开发者。每个关卡都是从一个有效的清除顺序反向生成的，因此通过构造保证可解——而非靠运气。离线、无广告、无内购。已在 Google Play 上架，名为《Sheep Meadow》：

https://play.google.com/store/apps/details?id=com.cityg.caoyuan&referrer=utm_source%3Dreddit_indiegaming%26utm_medium%3Dpost

好奇其他独立开发者对用“证明可解”方法来设计谜题关卡有何看法。