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