[zypp-commit] <sat-solver> master : - look at infarch/dup rules when creating choice rules, makes dup