Module resolver 

Dependency Resolution

Implements SAT-based dependency resolution for package management. Uses a DPLL solver with unit propagation, pure literal elimination, and backtracking for conflict resolution.

Structs

DependencyResolver

Dependency resolver with DPLL-based SAT solving.

Enums

ResolverError

Errors from dependency resolution

VersionReq

Version requirement supporting exact, range, caret, and tilde expressions

Functions

satisfies_range

Check if a version satisfies a range expression string.