solver_printdecisionq
solver_printdecisionq(solv, SOLV_DEBUG_RESULT);
extern void solver_printdecisionq(Solver *solv, int type);