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 --- Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Cargo.toml') diff --git a/Cargo.toml b/Cargo.toml index 3ea91a3..c2e7cc6 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -13,6 +13,7 @@ mozart-class-map-generator = { path = "crates/mozart-class-map-generator" } mozart-core = { path = "crates/mozart-core" } mozart-metadata-minifier = { path = "crates/mozart-metadata-minifier" } mozart-registry = { path = "crates/mozart-registry" } +mozart-sat-resolver = { path = "crates/mozart-sat-resolver" } mozart-semver = { path = "crates/mozart-semver" } mozart-spdx-licenses = { path = "crates/mozart-spdx-licenses" } anyhow = "1.0.102" @@ -26,7 +27,6 @@ filetime = "0.2.27" flate2 = "1.1.9" md5 = "0.7.0" predicates = "3.1.4" -pubgrub = "0.3.0" regex = "1.12.3" reqwest = { version = "0.13.2", features = ["json"] } self-replace = "1.5.0" -- cgit v1.3.1