prefix-dev/resolvo

Fast package resolver written in Rust (CDCL based SAT solving)

RustStars 201Forks 24Watchers 201Open issues 12License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Ownerprefix-dev

Homepage—

Last pushed2025-12-11

Last updated2025-12-14

Issues fetched at—

Community at a glance