"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 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:"