Maximal independent set of a graph

Stream: Is there code for X?

[Oliver Nash]

Do we have any definitions / results about maximal independent sets of graphs?

I am especially interested in the cardinality of the largest maximal independent set.

[Yaël Dillies]

I don't think we even have independent sets per se, although docs#is_antichain will do.

[Oliver Nash]

Oh, thanks!