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

Remove fixed assignments #16

Closed aochagavia closed 7 months ago

aochagavia commented 7 months ago

Note for reviewers: this PR assumes that #15 has been merged. Ideally, I'd take my fix-nested-deps-issue branch as a base, but then the PR would end up being created in my own repository. Fortunately the whole code is in a single commit, so you can have a look at the last commit's diff (or wait till #15 is merged).