aboutsummaryrefslogtreecommitdiffhomepage
path: root/crates/mozart-sat-resolver/src/pool.rs
AgeCommit message (Expand)Author
2026-05-03fix(resolver): expand root branch-alias and self.version replace linksnsfisis
2026-05-03fix(resolver): apply root "X as Y" aliases via pool second passnsfisis
2026-05-03refactor: switch internal maps/sets from HashMap to IndexMapnsfisis
2026-05-02feat(resolver): add branch-alias support across the resolution pipelinensfisis
2026-05-02feat(resolver): real constraint intersection and replace-aware same-name conf...nsfisis
2026-02-22feat(resolver): replace pubgrub with Composer-ported SAT solvernsfisis