prefix-dev/resolvo

**Brief Summary** `prefix-dev/resolvo` is a fast, CDCL‑based SAT‑solver written in Rust that resolves package dependency graphs. With ~220 stars and recent acti