• other
• agreement sample
• February 20, 2026

Reusable libraries that solve the version constraint satisfaction problem. Package managers either use one of these or roll their own. PubGrub: Conflict-driven solver with good error messages. Used by Dart’s pub, Poetry, uv, Hex, recent Bundler. SAT-based solver. Used by DNF, Zypper, Conda, Mamba. Rattler: Rust implementation of Conda package management. Molinillo: Backtracking resolver tuned for Ruby. Used by older …