mamba-org / resolvo

Fast package resolver written in Rust (CDCL based SAT solving)
160Updated this week

Related projects

Alternatives and complementary repositories for resolvo