0f6fb9b692
Separate transaction generation from solving and properly identify updates
13 years ago
f46aa495da
Turn obsolete relationships and replaced packages into conflict rules
13 years ago
ad25618bdd
Add install job and update rule conflict handling and reenable installation
13 years ago
1125de6bf2
Added disablePolicyRules to solve conflicts between remove jobs & update rules
...
This temporarily breaks installation of packages
13 years ago
01945c20f9
Simplify testSolverWithComposerRepo reusing utility methods from other tests
13 years ago
172c8b908e
Split the large solver test up into individual units testing smaller parts
13 years ago
b277b8e73c
Add failing test with composer repo
13 years ago
825deff09f
Completed analysis of unsolvable situations and main decision process
13 years ago
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
d181e32000
Fixed test expectation
13 years ago
00260a89ae
Make test fail
13 years ago
7ea2fd6c93
Fix author/copyright
13 years ago
933cc6179b
Import initial partial port of the libzypp satsolver.
13 years ago
Nils Adermann
Jordi Boggiano