Assertion list for term "given by kruskal".

Results from Ascent++: 1
greedy algorithm (subgroup of algorithm) ReceivesActiongiven by kruskal 0.38