[zypp-commit] <sat-solver> master : - add satversion.h containing the current satsolver version