2b08df5192
Changed repository priority in the pool
12 years ago
4140f08d9c
Use a map of installed package ids in the solver
...
The assumption package.repo == installed no longer holds for installed
packages because there are multiple wrapped installed repositories.
13 years ago
b52d6d881a
Pool repository index represents priority, highest index = highest priority
13 years ago
4dbb73daba
Use an SplFixedArray for the solver's decision map
13 years ago
f46aa495da
Turn obsolete relationships and replaced packages into conflict rules
13 years ago
256955f0f7
Minor code cleanup
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
2e41993822
Update solver to use PackageInterface and store pool package ids inside of packages
13 years ago
8c9f8fb86f
Rename RelationConstraints to Links in the Package namespace.
...
Constraints have been generalised to allow matching requiring and providing
constraints against each other.
13 years ago
c6321e7277
Fix tests and invalid use statements
13 years ago
7ea2fd6c93
Fix author/copyright
13 years ago
933cc6179b
Import initial partial port of the libzypp satsolver.
13 years ago
Martin Hasoň
Nils Adermann
Jordi Boggiano