A new memory-safe SAT solver for package management in Rust (port of libsolv)https://prefix.dev/blog/the_new_rattler_resolver by droelf • 3 years ago 9 0 3 years agoPRprefix.dev