-
Karel Koci authored
Introducing penalty variables, we changed all implications to some form of equivalences. This resulted in some case to unsatisfiable problem. Separating penalty dependencies tree from pkg dependency tree removes that.
Introducing penalty variables, we changed all implications to some form of equivalences. This resulted in some case to unsatisfiable problem. Separating penalty dependencies tree from pkg dependency tree removes that.