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 tests/solver.scm
.
A good strategy for fixing it could be to feed the test case into aptitude's solver and see what it does differently.