mamba-org / resolvo

Fast package resolver written in Rust (CDCL based SAT solving)
BSD 3-Clause "New" or "Revised" License
154 stars 13 forks source link

feat: root constraints #38

Closed baszalmstra closed 3 months ago

baszalmstra commented 3 months ago

This adds constraints to the root solvable which allows imposing constraints on the solution for packages that are not necessarily part of the solution.

The behavior for this already existed, it just wasn't exposed in the API.