f7735c396f
[Composer] Fixed typos
13 years ago
4dbb73daba
Use an SplFixedArray for the solver's decision map
13 years ago
69ebbf0eac
Correct handling of rules with more than 2 literals.
13 years ago
6118c00086
Implement minimization of branches
13 years ago
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
52565a5935
Implement handling of conflicts with learned rules
13 years ago
b0c685176b
Correct branch handling and implement reverting of decisions at a particular level
13 years ago
37e676cedd
Implement analysis of conflicting rules
13 years ago
6d157b325d
Package ids are always positive, so use absolute literal value for package id
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
61ad71b624
Reverse the transaction instruction order.
...
Early decisions cause later ones through dependencies. So in order to
perform the earlier decisions the later ones must be fulfilled first.
13 years ago
825deff09f
Completed analysis of unsolvable situations and main decision process
13 years ago
bc672deb32
Moving rule iteration logic to a separate RuleSet and RuleSetIterator class
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
8cbf3f4d75
No need to unify rules, we already check for duplication on insertion
13 years ago
a67a1637e1
Print more human-readable info
13 years ago
831f5219b6
Use spl_object_hash() instead of the package id which doesn't exist anymore
13 years ago
b85c1a2780
Fix interfaces use statements/use interfaces for type hints
13 years ago
273e12e386
Rule unification
13 years ago
f3d9c8701a
Generate transaction from solver's final decision queue.
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
6dbec8718d
Remove contains() from RepositoryInterface
13 years ago
7ea2fd6c93
Fix author/copyright
13 years ago
933cc6179b
Import initial partial port of the libzypp satsolver.
13 years ago
pborreli
Nils Adermann
Jordi Boggiano