Nils Adermann 5bd1722d7e Merge pull request #77 from benja-M-1/master 14 years ago
..
Operation 2fc0699492 Moved operations evaluation into new InstallationManager class 14 years ago
DefaultPolicy.php 2056c4c732 Allow downgrades and uninstalls in the default policy 14 years ago
Literal.php 498125adbe Assertions are now properly decided before running the main solver. 14 years ago
PolicyInterface.php e4c94dd415 Adding tests for the default policy specifying its desired behaviour 14 years ago
Pool.php b52d6d881a Pool repository index represents priority, highest index = highest priority 14 years ago
Request.php 72bfe8b92c Fix Exception in Request 14 years ago
Rule.php 825deff09f Completed analysis of unsolvable situations and main decision process 14 years ago
RuleSet.php 825deff09f Completed analysis of unsolvable situations and main decision process 14 years ago
RuleSetIterator.php 825deff09f Completed analysis of unsolvable situations and main decision process 14 years ago
Solver.php e4f40272a3 Conflict handling: lastWeakWhy stores a rule, not a rule id 14 years ago