Solver crashes on "conflicting choices"
There is a bug in the solver that would be nice to get fixed. A failing test case is in
A good strategy for fixing it could be to feed the test case into aptitude's solver and see what it does differently.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information