comb-spec-searcher (pypi): A library for performing combinatorial exploration.
Keywords: enumerative|combinatorics|combinatorial|specification|counting