4 ms·A new memory-safe SAT solver for package management in Rust (port of libsolv)9 points by droelf 3y ago