20 Commits (37ef2037cff090f22bf1be3bf141fd7e6b35b53e)

Author SHA1 Message Date
Jordi Boggiano e6f7150196 Change default minimum-stability to "stable", fixes #744 12 years ago
Nils Adermann cc7632489d Make problem report messages more readable
Added pretty strings to constraints
12 years ago
Jordi Boggiano 1bd4ccbd54 php-cs-fixer magic 12 years ago
Nils Adermann 451bab1c2c Get rid of Literal object / literal id mix, use literals only to save memory 12 years ago
Jordi Boggiano 453b9a616b Add test for Pool handling and refactor a couple things 12 years ago
Jordi Boggiano ef28f3b067 Basic handling of stability flags 12 years ago
Jordi Boggiano 66068fedcb Add minimum-stability flag on root package to filter packages by stability 12 years ago
Martin Hasoň 2b08df5192 Changed repository priority in the pool 12 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 b52d6d881a Pool repository index represents priority, highest index = highest priority 13 years ago
Nils Adermann 4dbb73daba Use an SplFixedArray for the solver's decision map 13 years ago
Nils Adermann f46aa495da Turn obsolete relationships and replaced packages into conflict rules 13 years ago
Jordi Boggiano 256955f0f7 Minor code cleanup 13 years ago
Nils Adermann 825deff09f Completed analysis of unsolvable situations and main decision process 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 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 c6321e7277 Fix tests and invalid use statements 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