16 Commits (8cbf3f4d757d88a7672ea115ed127435d493cc31)

Author SHA1 Message Date
Nils Adermann 8cbf3f4d75 No need to unify rules, we already check for duplication on insertion 13 years ago
Jordi Boggiano 92d443d07e Fix arg order 13 years ago
Jordi Boggiano 48774ee6ca Fix Literal id generation 13 years ago
Jordi Boggiano a67a1637e1 Print more human-readable info 13 years ago
Jordi Boggiano 831f5219b6 Use spl_object_hash() instead of the package id which doesn't exist anymore 13 years ago
Jordi Boggiano b85c1a2780 Fix interfaces use statements/use interfaces for type hints 13 years ago
Nils Adermann 4dad9fa6ef Adding support for LinkConstraints to the solver requests.
Constraints are directly passed on to the pool's whatProvides method
which returns a set of packages that satisfy name and constraint conditions.
13 years ago
Nils Adermann 273e12e386 Rule unification 13 years ago
Nils Adermann f3d9c8701a Generate transaction from solver's final decision queue. 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 3da43e751d Update naming of repositories 13 years ago
Jordi Boggiano 6dbec8718d Remove contains() from RepositoryInterface 13 years ago
Jordi Boggiano 7ea2fd6c93 Fix author/copyright 13 years ago
Nils Adermann 3a851b4059 Define an interface for packages and move package code to separate namespace.
Ids are no longer needed, they are internal to the solver and not a part of
packages.
13 years ago
Nils Adermann 933cc6179b Import initial partial port of the libzypp satsolver. 13 years ago