45 Commits (70bea8fe57bd8f23ff9c3661738da663058a317d)

Author SHA1 Message Date
Justin Rainbow 8e64229461 Increasing version number to include 5.3.3 which also has an issue with SplFixedArray 13 years ago
Joseph Bielawski 188d8beb79 Class name typo fix 13 years ago
Justin Rainbow 7eda0a8823 PHP 5.3.2 segmentation fault fix
For some reason, using the SqlFixedArray causes a Segmentation Fault during
an install or update.  Changing to a simple array fixes this issue, but in
turn uses more memory.  Which is why there is the version test.
13 years ago
Jordi Boggiano edf948454b Remove IO from Solver, debug methods don't need it 13 years ago
François Pluchino 0f9dcc9618 Remplace all echo with writeln method of IO 13 years ago
Hugo Hamon 9acbb0c026 [DependencyResolver] removed unused local variables and fixed some wrong local variable names in Solver class. 13 years ago
digitalkaoz 87831d8c1c fixed typo 13 years ago
Jordi Boggiano d020f2701d Merge pull request #118 from naderman/priority-replace-any-version
Replaced packages have higher priority even if wrong version is replaced
13 years ago
Nils Adermann 40b33914b3 Compute rule hashes for faster duplicate detection 13 years ago
Nils Adermann bca746c947 Don't consider a revert to level 1 (base level) in sat solver a failure 13 years ago
Nils Adermann 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
Nils Adermann e4f40272a3 Conflict handling: lastWeakWhy stores a rule, not a rule id 13 years ago
Nils Adermann 3e0e893f26 Correctly output decision map when debugging 13 years ago
Nils Adermann 85d38c653f Also detect updates resulting from feature rules rather than update rules 13 years ago
Jordi Boggiano d3aa8336dc Fix typo 13 years ago
Nils Adermann e4c94dd415 Adding tests for the default policy specifying its desired behaviour 13 years ago
Jordi Boggiano 5623f3e69c Fix refactoring bugs 13 years ago
everzet 0a1e7320b0 Refactored solver result array. Now it returns array of operation objects which are much nicer to work with 13 years ago
pborreli f7735c396f [Composer] Fixed typos 13 years ago
Nils Adermann 4dbb73daba Use an SplFixedArray for the solver's decision map 13 years ago
Nils Adermann 69ebbf0eac Correct handling of rules with more than 2 literals. 13 years ago
Nils Adermann 6118c00086 Implement minimization of branches 13 years ago
Nils Adermann 0f6fb9b692 Separate transaction generation from solving and properly identify updates 13 years ago
Nils Adermann f46aa495da Turn obsolete relationships and replaced packages into conflict rules 13 years ago
Nils Adermann 52565a5935 Implement handling of conflicts with learned rules 13 years ago
Nils Adermann b0c685176b Correct branch handling and implement reverting of decisions at a particular level 13 years ago
Nils Adermann 37e676cedd Implement analysis of conflicting rules 13 years ago
Nils Adermann 6d157b325d Package ids are always positive, so use absolute literal value for package id 13 years ago
Nils Adermann ad25618bdd Add install job and update rule conflict handling and reenable installation 13 years ago
Nils Adermann 1125de6bf2 Added disablePolicyRules to solve conflicts between remove jobs & update rules
This temporarily breaks installation of packages
13 years ago
Nils Adermann 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
Nils Adermann 825deff09f Completed analysis of unsolvable situations and main decision process 13 years ago
Nils Adermann bc672deb32 Moving rule iteration logic to a separate RuleSet and RuleSetIterator class 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
Nils Adermann 8cbf3f4d75 No need to unify rules, we already check for duplication on insertion 13 years ago
Jordi Boggiano a67a1637e1 Print more human-readable info 13 years ago
Jordi Boggiano 831f5219b6 Use spl_object_hash() instead of the package id which doesn't exist anymore 13 years ago
Jordi Boggiano b85c1a2780 Fix interfaces use statements/use interfaces for type hints 13 years ago
Nils Adermann 273e12e386 Rule unification 13 years ago
Nils Adermann f3d9c8701a Generate transaction from solver's final decision queue. 13 years ago
Nils Adermann 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
Jordi Boggiano 6dbec8718d Remove contains() from RepositoryInterface 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