追蹤 SAT 求解器中的错误 (ochagavia.nl)

本文讲述了作者参与 Prefix.dev 开发 resolvo（一种基于 SAT 的依赖解析器）并修复 bug 的经历。作者首先介绍了 bug 的背景，即求解器在遇到预期无法到达的代码时意外崩溃。之后，作者详细描述了他是如何利用 GitHub 用户 sumanth-manchala 提供的最小可复现示例和单元测试来调试和修复 bug 的。最后，作者反思了更好的调试工具的必要性，并表示 resolvo 的内部逻辑已经比较完善，未来出现 bug 的可能性较小。