GitHub repository: prefix-dev/resolvo
Primary language: Rust
Description: Fast package resolver written in Rust (CDCL based SAT solving)