Comment # 4 on bug 1054962 from Benjamin Zeller

Is this bug still happening? 

If yes could you provide a resolver testcase?

Run zypper with : zypper ve --debug-solver.
Then package  /var/log/zypper.solverTestCase as tgz and upload it.

Getting the zypper log also would be great.