resolvo
Fast package resolver written in Rust (CDCL based SAT solving)
Activity
- Latest release
- 2w ago
- Total releases
- 29
- Cadence
- ~21 days
- Last 12 months
- 8
Reach
- Stars
- 224
Details
- License
- BSD-3-Clause
- First release
- Sep 25, 2023
Releases
Fast package resolver written in Rust (CDCL based SAT solving)