|
|
|
|
|
|
by majewsky
2943 days ago
|
|
|
> The speed of the solver is not a problem in any other package management system I've seen. The package manager in YaST (Suse Linux's sysadmin tool) was notorious for its slow solver (and slow everything-else, for that matter) around 2006, when I started using Linux. It improved a lot in the openSUSE 11.x series around 2007/8 when they switched from a homegrown solver to a standard SAT solver package. |
|
|