-
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.
Self sign-up has been disabled due to increased spam activity. If you want to get access, please send an email to a project owner (preferred) or at gitlab(at)nic(dot)cz. We apologize for the inconvenience.
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.