Assertion list for term "maximize rigidity".

Results from Ascent++: 1
enclosure CapableOfmaximize rigidity 0.28