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.
2011-11-19 00:27:35 +01:00
b52d6d881a
Pool repository index represents priority, highest index = highest priority
2011-10-22 16:39:49 +02:00
4dbb73daba
Use an SplFixedArray for the solver's decision map
2011-08-21 07:30:10 -04:00
f46aa495da
Turn obsolete relationships and replaced packages into conflict rules
2011-08-20 18:19:47 -04:00
256955f0f7
Minor code cleanup
2011-07-21 13:53:39 +02:00
825deff09f
Completed analysis of unsolvable situations and main decision process
2011-07-08 07:11:04 -04:00
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.
2011-06-07 22:43:26 +02:00
2e41993822
Update solver to use PackageInterface and store pool package ids inside of packages
2011-06-03 18:27:44 +02:00
8c9f8fb86f
Rename RelationConstraints to Links in the Package namespace.
...
Constraints have been generalised to allow matching requiring and providing
constraints against each other.
2011-04-18 00:27:31 +02:00
c6321e7277
Fix tests and invalid use statements
2011-04-17 23:45:37 +02:00
7ea2fd6c93
Fix author/copyright
2011-04-17 21:39:53 +02:00
933cc6179b
Import initial partial port of the libzypp satsolver.
2011-04-05 17:37:19 +02:00
Nils Adermann