Assertion list for term "nonconvex".

Results from Ascent++: 1
optimization problem (subgroup of problem) HasPropertynonconvex 0.29