Assertion list for term "solve such problems".

Results from Ascent++: 1
algorithm CapableOfsolve such problems 0.33