aboutsummaryrefslogtreecommitdiffhomepage
path: root/crates/mozart-sat-resolver/src/rule_set_generator.rs
AgeCommit message (Expand)Author
2026-05-02feat(resolver): real constraint intersection and replace-aware same-name conf...nsfisis
2026-05-02feat(resolver): honor --ignore-platform-reqs and wildcard patternsnsfisis
2026-02-22feat(resolver): replace pubgrub with Composer-ported SAT solvernsfisis