resolvo 0.4.1

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