Symbol: SOLVER_RULE_LEARNT
src/kits/package/solver/libsolv/LibsolvSolver.cpp
983
case SOLVER_RULE_LEARNT:
src/libs/libsolv/solv/rules.c
2230
return SOLVER_RULE_LEARNT;
src/libs/libsolv/solv/rules.c
2257
return SOLVER_RULE_LEARNT;
src/libs/libsolv/solv/solverdebug.c
607
case SOLVER_RULE_LEARNT: