Enumeration

The header <kitty/enumeration.hpp> implements methods to enumerate Boolean function representatives based on canonization functions.

Function	Description
fuller_neighborhood_enumeration(functions, canonization_fn)	Enumerate all representatives using 1-neighborhood search.