Composer卡在“Resolving dependencies”是其自研SAT求解器本地穷举版本组合所致，非网络问题；它将版本约束抽象为区间并动态展开，通过冲突学习回溯推理，但宽泛约束、dev分支或lock文件干扰易引发指数级搜索爆炸。
Composer的SAT Solver不是调用外部求解器
很多人误以为 Composer 内部调用了 MiniSat、Z3 这类通用 SAT 工具，其实不是。它用的是自研的 Solver 类，位于 src/Composer/DependencyResolver/Solver.php，本质是带冲突学习的回溯式约束引擎，风格接近 CDCL（Conflict-Driven Clause Learning），但不生成标准 CNF 公式。
关键区别在于：它处理的是「版本区间」而非原子布尔变量。比如 "monolog/monolog": "^2.0" 不会被拆成几十个具体版本命题，而是先抽象为区间 [2.0.0, 3.0.0)，在搜索过程中动态展开候选——这直接规避了组合爆炸。
- 每次选一个包版本后，立即做「单元传播」：推导出必须启用/禁止的其他包或 PHP 版本
- 发现矛盾（如两个依赖分别要求
php:^7.4和php:^8.1）时，记录冲突路径，后续跳过同类分支 -
composer.lock是已验证的可行解；install直接复用；update则触发全局重解或局部子图求解
为什么 composer update 会卡在 “Resolving dependencies…”
这个阶段没下载任何文件，纯逻辑推理。它在尝试从所有可选版本中找出满足全部约束的一组解——而这是 NP-hard 问题，搜索空间随依赖数量指数增长。
常见卡顿原因：
- 全局
composer update强制重解整张依赖图，尤其当项目有 50+ 包且含复杂conflict/replace规则时，容易陷入长路径回溯 - 手动改过
composer.json但没删composer.lock，Solver 会以 lock 文件为起点做“最小变更”，反而限制了搜索自由度，掩盖真实可行解 - 某些包声明了极窄约束（如
"guzzlehttp/guzzle": "7.2.0"），导致与其他依赖无交集，Solver 需遍历大量无效分支才能确认无解
提速建议：加 -v 看最后尝试的版本链，或改用 composer update --with-dependencies foo/bar 锁定影响范围。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
composer prohibits 和 composer why-not 的底层依据
这两个命令输出的信息，直接来自 Solver 在推理过程中构建的冲突约束图。不是简单查表，而是复现失败路径：
-
composer prohibits monolog/monolog:2.0.0会展示：因为package-a要求php:^8.0，而monolog/monolog:2.0.0的composer.json声明只支持php:>=7.2.5 ，两者不可并存 -
composer why-not symfony/console:6.0会回溯到某个已锁定的包（比如laravel/framework:9.0）明确conflict了symfony/console:^6.0 - 这些结论依赖 Solver 对
conflict、provide、replace规则的实时逻辑展开，不是静态元数据匹配
本地 PHP 版本和 platform 配置如何影响求解结果
Solver 把 PHP 版本当作一个核心约束变量参与全局推理。你本地 php -v 返回的版本，会和每个包的 require.php 字段做交集判断。
典型陷阱：
- 开发机是 PHP 8.2，但 CI 环境跑 PHP 8.0 —— 若没配
config.platform.php，composer install在本地能过，CI 却报错 -
"config": {"platform": {"php": "8.1.0"}}不是“假装”版本，而是强制 Solver 以该 PHP 版本为前提进行所有推理，包括过滤掉所有声明不支持该版本的包 - 扩展缺失（如
ext-intl）也会被纳入约束：Solver 会直接排除所有 require 该扩展但当前环境不满足的候选版本
真正决定能否装上的，从来不是你的命令行 PHP 版本，而是 Solver 在求解时“相信”的那个 PHP 版本——它由 platform 配置或实际运行环境共同决定，且不可绕过。
