aboutsummaryrefslogtreecommitdiffhomepage
path: root/crates/mozart-sat-resolver/src/pool_builder.rs
AgeCommit message (Expand)Author
2026-02-22fix(resolver): handle virtual packages and deduplicate pool explorationnsfisis
2026-02-22feat(resolver): replace pubgrub with Composer-ported SAT solvernsfisis