this is sad
this is sad
Posted Jun 21, 2016 12:22 UTC (Tue) by nye (guest, #51576)In reply to: this is sad by nye
Parent article: Klumpp: A few words about the future of the Limba project
>If I understand correctly, package managers have already given up on finding 'optimal' solutions[1] and now use heuristic SAT solvers
Just to expand briefly on this: I can't find a quick definitive answer in five minutes to whether libsolv, as used by zypper, is a heuristic solver or a pure solver, but there are unavoidable problems either way: if it's pure then it can't scale efficiently; if it's heuristic then it can't guarantee optimal results, and could potentially fail to find possible solutions.
Reducing the problem space by dividing it into smaller sets with fewer interdependencies is a solution to both.