 Leszek Prabucki
|
f59ca1e2f8
Made fixes after review.
|
13 lat temu |
|
Leszek Prabucki
|
9488b0f85f
Fixed code. Changes improved code testability
|
13 lat temu |
 Nils Adermann
|
40b33914b3
Compute rule hashes for faster duplicate detection
|
14 lat temu |
|
Nils Adermann
|
825deff09f
Completed analysis of unsolvable situations and main decision process
|
14 lat temu |
|
Nils Adermann
|
498125adbe
Assertions are now properly decided before running the main solver.
|
14 lat temu |
|
Nils Adermann
|
2e41993822
Update solver to use PackageInterface and store pool package ids inside of packages
|
14 lat temu |
 Jordi Boggiano
|
7ea2fd6c93
Fix author/copyright
|
14 lat temu |
|
Nils Adermann
|
933cc6179b
Import initial partial port of the libzypp satsolver.
|
14 lat temu |
