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