search

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

fix: remove unnecessary aggressive assertion #21

Closed aochagavia closed 7 months ago

aochagavia commented 7 months ago

The formatting is a bit unfortunate, but that's what cargo fmt makes of it