• Karel Koci's avatar
    Fix bug when exclusive version wanted to be selected · ea74de8c
    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.
    ea74de8c