experiments.gen_lsizes_stats
Module summary
Generates a dataset summary for BDDs: layer widths.
Used to illustrate the distribution of layer widths for different BDD generation parameters.
(In the implementation details below, click on class/function names for additional documentation and links to the source code.)
❖❖❖
❖❖❖
Implementation details