20 Commits (f3bfeb36089c2e4674982e74b01f0bad8b40b10e)

Author SHA1 Message Date
Jordi Boggiano a8171f5be0 Display prettier messages for second-degree required exts to avoid confusion 12 years ago
Nils Adermann cc7632489d Make problem report messages more readable
Added pretty strings to constraints
12 years ago
Nils Adermann 5bea5974f7 Improve error messages for solver problems 12 years ago
Jordi Boggiano 1bd4ccbd54 php-cs-fixer magic 12 years ago
Nils Adermann c869566868 Make ruleHash a protected member of rules 12 years ago
Nils Adermann dd527a4049 Remove weak rules
Since we no longer have suggest/recommend rules and no longer use any update
or feature rules so packages are removed by default, we do not need weak rules
anymore.
12 years ago
Nils Adermann 451bab1c2c Get rid of Literal object / literal id mix, use literals only to save memory 12 years ago
Nils Adermann 46e4ae0e6a Move rule generation from solver into separate rule set generator 12 years ago
Nils Adermann 70e306f055 Process all jobs in one method and remove lock jobs which are not used 12 years ago
Nils Adermann bd66c27ff6 We mark packages as uninstallable by removing them from the repo
As it is faster to remove packages from the repos and keep them out of the
package pool to begin with, we don't need an installable() method on the
policy.
12 years ago
Nils Adermann 0c1944a9d0 Let the solver handle aliases instead of the installer 12 years ago
Nils Adermann 83123b2d40 Generate human readable explanations of rules which cause problems 12 years ago
Leszek Prabucki f59ca1e2f8 Made fixes after review. 13 years ago
Leszek Prabucki 9488b0f85f Fixed code. Changes improved code testability 13 years ago
Nils Adermann 40b33914b3 Compute rule hashes for faster duplicate detection 13 years ago
Nils Adermann 825deff09f Completed analysis of unsolvable situations and main decision process 13 years ago
Nils Adermann 498125adbe Assertions are now properly decided before running the main solver.
Updating does not work yet. The test case works fine for installing/removing
the correct packages however. Weak (update/feature) rules are entirely ignored
so far.

Watches are on literal ids rather than literals to save on function calls
and memory usage. So a few methods for literals now have an id counter part.
This should probably be refactored to have the literal versions call the
id ones instead.
13 years ago
Nils Adermann 2e41993822 Update solver to use PackageInterface and store pool package ids inside of packages 13 years ago
Jordi Boggiano 7ea2fd6c93 Fix author/copyright 13 years ago
Nils Adermann 933cc6179b Import initial partial port of the libzypp satsolver. 13 years ago