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

我最自豪的部分在引擎内部。核心是一套纯 Dart 库，配有一个精确覆盖求解器。生成器创建关卡，求解器证明它只有一个解，然后评分员以人类方式解它并计算需要多少推理步骤。这个数量成为难度，1 到 10。因此曲线不是凭感觉调整的，每个关卡的位置都由评分确定。每日谜题是 9×9 且难度为 7，供所有人共享。

主题稍后才加入。我想让玩家在拼图之外还有继续玩的动力，因此获胜会给你提供真实品种的卡牌：277 只狗和 51 只猫，分为世界八个地区。你收集的宠物会在家园草坪上漫步。这带有类似 Pokédex 的感觉，但针对的是你在街上可能遇到的真实品种。

使用 Flutter 构建，代码库为两平台共享。Android 已上线，iOS 正在审核中。免费且带广告，可选购买，这些都不影响卡牌概率。

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

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