ZYpp and SAT solvers

Here's an interesting thing: the new package manager for PHP is apparently based on ZYpp, which includes a full-power SAT solver.