solver_get_flag
v = solver_get_flag(solv, solverflags2str[i].flag);
int old = solver_get_flag(solv, flag);
extern int solver_get_flag(Solver *solv, int flag);