Libzypp/Sat Solver

From openSUSE

#REDIRECTPackage Management/Sat Solver