Comment # 1 on bug 1200658 from Benjamin Zeller

Please create and attach a solver testcase:

> # zypper patch --debug-solver
> ...
> Generating solver test case...
> Solver test case generated successfully at /var/log/zypper.solverTestCase.
Then pack the output directory together with /var/log/zypper.log and attach it
to the bugreport.

In case the testcase exceeds the 10MB limit for bugzilla uploads, you can use
'split' to divide the file into smaller pieces:
> $ cd /tmp
> $ tar cvjf zypper.solverTestCase.tar.bz2 /var/log/zypper.solverTestCase/
> $ split -b 10M --additional-suffix=-zypper.solverTestCase.tar.bz2 \
> zypper.solverTestCase.tar.bz2
The created pieces will be named like this:
> xaa-zypper.solverTestCase.tar.bz2
> xab-zypper.solverTestCase.tar.bz2
> xac-zypper.solverTestCase.tar.bz2
> ...