**项目简介** `prefix-dev/resolvo` 是一个用 Rust 编写的高速依赖包解析器，核心采用 CDCL（Conflict‑Driven Clause Learning）技术实现 SAT 求解，能够在复杂依赖图中快速找到可行的安装方案。 **价值** - **性能优势**：基于 SAT 求解的算法在大