Stores decisions on installing, removing or keeping packages
A package pool contains repositories that provide packages.
Represents a problem detected while solving dependencies
An extension of SplDoublyLinkedList with seek and removal of current element
The RuleWatchGraph efficiently propagates decisions to other rules
Wrapper around a Rule which keeps track of the two literals it watches