gen-solve-0.1.57
gen — the fleet's version solver. Newest-first backtracking over `gen_types::Dependency` with requirement-chain conflict attribution (a `Conflict` names both sides and the coordinate, as typed `PackageAt` fields rather than a message to parse), sound assignment-level incompatibility learning, and a finite step bound so a pathological graph reports instead of hanging. Carries `VersionSet`, the union-of-disjoint-intervals algebra that `ConstraintSpec` is lowered into — closed under intersection and union, with emptiness exact, because a constraint *syntax* is not a constraint *algebra*. Not PubGrub, and says so.
one minute ago