solverflags2str
for (i = 0; solverflags2str[i].str; i++)
v = solver_get_flag(solv, solverflags2str[i].flag);
if (v == solverflags2str[i].def)
str = pool_tmpappend(pool, str, v ? " " : " !", solverflags2str[i].str);
for (i = 0; solverflags2str[i].str; i++)
if (!strncmp(solverflags2str[i].str, s, p - s) && solverflags2str[i].str[p - s] == 0)
if (!solverflags2str[i].str)
solver_set_flag(solv, solverflags2str[i].flag, v);
for (i = 0; solverflags2str[i].str; i++)
solver_set_flag(solv, solverflags2str[i].flag, solverflags2str[i].def);
} solverflags2str[] = {