Ascent++
Search
connected graph
subgroup of
graph
,
1
assertions
CapableOf
1
contain at most two cyc…
0.84