4 ms·
> dep was slow because of I/O, not SAT solving. Actually dep tended to produce suboptimal solutions, meaning in some cases it downloaded too many packages to s
by sacado2 7y ago
> dep was slow because of I/O, not SAT solving.
Actually dep tended to produce suboptimal solutions, meaning in some cases it downloaded too many packages to solve dependencies. And that meant more I/O operations than needed. Plugging a full-blown SAT solver would have solved this issue.