"Since we don't want our heads to explode we'll just take it for granted that a powerful satisfiability solver is a good thing.
"It turns out that YaST is also (now) based on ZYpp so you don't need to worry that you're missing out on something by using zypper.
"Zypper is fairly straightforward to use. If you want to search for a package do zypper search STRING.... The STRING(s) can include * and ? wildcards and there are options for matching all or any of the strings and for full exact matches (the default is a partial match). If you want to search the package descriptions there's an option for that also. For example to search for packages with the word "mail" in the name or in the description do:"
