Ascent++
Search
wooden puzzle
subgroup of
puzzle
,
1
assertions
HasProperty
1
expensive
0.59