Assertion list for term "solve strategy".

Results from Ascent++: 2
problem (aspect of child) CapableOfsolve strategy 0.47
math problem (subgroup of problem) CapableOfsolve strategy 0.39