From 84d137a19feb1f79f5bd711faff63a6bbe651cbf Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sun, 22 Feb 2026 18:25:16 +0900 Subject: feat(resolver): replace pubgrub with Composer-ported SAT solver MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Add mozart-sat-resolver crate implementing a CDCL SAT-based dependency resolver ported from Composer's DependencyResolver. This replaces the pubgrub library to ensure identical resolution behavior with Composer. The new crate includes: pool (package storage with integer IDs), rule/rule_set/rule_set_generator (constraint encoding), decisions (assignment tracking), rule_watch_graph (2-watched literal BCP), solver (CDCL loop with conflict analysis and clause learning), policy (version preference), problem (Composer-style error messages), and transaction (install/update/uninstall operation computation). The registry resolver is rewritten to use PoolBuilder → RuleSetGenerator → Solver pipeline instead of pubgrub's DependencyProvider trait. Co-Authored-By: Claude Opus 4.6 --- crates/mozart-sat-resolver/Cargo.toml | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 crates/mozart-sat-resolver/Cargo.toml (limited to 'crates/mozart-sat-resolver/Cargo.toml') diff --git a/crates/mozart-sat-resolver/Cargo.toml b/crates/mozart-sat-resolver/Cargo.toml new file mode 100644 index 0000000..c02904f --- /dev/null +++ b/crates/mozart-sat-resolver/Cargo.toml @@ -0,0 +1,10 @@ +[package] +name = "mozart-sat-resolver" +version.workspace = true +edition.workspace = true + +[dependencies] +mozart-semver.workspace = true +mozart-core.workspace = true + +[dev-dependencies] -- cgit v1.3.1