5 ms·
Most package managers don't actually use SAT, because it's hard to get data about the version conflicts when it's unsatisfiable.
by hwayne 4y ago
Most package managers don't actually use SAT, because it's hard to get data about the version conflicts when it's unsatisfiable.