experiments.dclouds_sclass

Module summary

Investigates a special class of instances: different-width DDs.

(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_sclass.main()

Generates a dataset of BDD vs MIP runtimes and objectives.