 Nils Adermann
|
5d5d6462e3
Correctly declare all literal properties
|
14 anos atrás |
|
Nils Adermann
|
69f55d37bb
Generate literal ids only once and use in equals()
|
14 anos atrás |
|
Nils Adermann
|
498125adbe
Assertions are now properly decided before running the main solver.
|
14 anos atrás |
 Jordi Boggiano
|
48774ee6ca
Fix Literal id generation
|
14 anos atrás |
|
Jordi Boggiano
|
831f5219b6
Use spl_object_hash() instead of the package id which doesn't exist anymore
|
14 anos atrás |
|
Jordi Boggiano
|
c6321e7277
Fix tests and invalid use statements
|
14 anos atrás |
|
Jordi Boggiano
|
7ea2fd6c93
Fix author/copyright
|
14 anos atrás |
|
Nils Adermann
|
933cc6179b
Import initial partial port of the libzypp satsolver.
|
14 anos atrás |
