experiments.dclouds_rndcover

Module summary

Investigates a special class of instances: randomized cover DD.

(In the implementation details below, click on class/function names for additional documentation and links to the source code.)

❖❖❖

Implements functions (outside the classes above):

main()

Generates a dataset of BDD vs MIP runtimes and objectives.

❖❖❖

Implementation details

❖❖❖

Functions

experiments.dclouds_rndcover.main()

Generates a dataset of BDD vs MIP runtimes and objectives.