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