Snackpaws 是一款关于使用零食发射器喂养宠物的逻辑谜题。零食会一直飞直到撞到围栏，猫会把它们传递，狗会保留它们，而每只宠物恰好需要一个。

我最自豪的部分在引擎内部。核心是一个纯 Dart 库，配有一个精确覆盖求解器。生成器创建关卡，求解器证明它恰好有一个解，然后评分员以人类的方式解谜并根据它使用的最困难的技巧进行评分：你能否仅通过查看旁边的宠物就排除一个单元格，还是必须先通过一只或两只猫跟随零食，又或者什么都不被强制，需要尝试一个单元格并观察错误选择会导致多少步骤崩溃？这个最困难的步骤决定了难度，从 1 到 10，并因需要观察的量而有一个小增幅。一个充满显而易见摆放的大棋盘保持容易；一个小棋盘如果有一条糟糕的链条则很难。因此曲线不是凭感觉手动调节，每个关卡的位置都依据评分而定。每日谜题是 9×9，难度 7，所有人共享。

主题稍后才加入。我想让玩家有理由在解谜之外继续玩耍，因此获胜会给你提供真实品种的卡片：277 只狗和 51 只猫，分为世界八个地区。你收集的宠物会在家园的草坪上漫游。这有点像宝可梦图鉴的感觉，但针对你在街上可能遇到的真实品种。

使用 Flutter 构建，单一代码库适用于两个平台。Android 已上线，iOS 正在 App Review 中。免费且带广告，另有可选购买，这些都不影响卡片概率。

Google Play: https://play.google.com/store/apps/details?id=com.snackpaws.app

如果有人想讨论求解器或难度评分，我全天在线。