[Bug 368209] zypper: /usr/src/packages/BUILD/satsolver-0.0.20/src/solver.c: 2371: run_solver: Assertion `dq.count > 1' failed.