[zypp-commit] <sat-solver> master : - add pool_tmpjoin and sat_dupjoin helpers