 Nils Adermann
|
172c8b908e
Split the large solver test up into individual units testing smaller parts
|
14 年 前 |
 Jordi Boggiano
|
b277b8e73c
Add failing test with composer repo
|
14 年 前 |
|
Nils Adermann
|
825deff09f
Completed analysis of unsolvable situations and main decision process
|
14 年 前 |
|
Nils Adermann
|
498125adbe
Assertions are now properly decided before running the main solver.
|
14 年 前 |
|
Jordi Boggiano
|
d181e32000
Fixed test expectation
|
14 年 前 |
|
Jordi Boggiano
|
00260a89ae
Make test fail
|
14 年 前 |
|
Jordi Boggiano
|
7ea2fd6c93
Fix author/copyright
|
14 年 前 |
|
Nils Adermann
|
933cc6179b
Import initial partial port of the libzypp satsolver.
|
14 年 前 |
