Crate algebraeon_sets

Source

Modulesยง

combinatorics
Contains combinatorial counting and enumeration algorithms.
structure
Abtractions over sets with certain structure.