Ascent++
Search
Assertion list
tilt
(
primary
)
→ HasProperty
Results from
Ascent++
:
6
tilt
→
HasProperty
→
useful
0.43
tilt
→
HasProperty
→
smooth
0.31
tilt
→
HasProperty
→
good
0.25
tilt
→
HasProperty
→
low
0.25
tilt
→
HasProperty
→
optimal
0.25
tilt
→
HasProperty
→
stiff
0.16