experiments.par_scal_test

Module summary

Creates a log for the scaling figure (simplified problem vs greedy sifts).

Compares runtimes for the simplified problem based heuristic vs greedy sifts over randomly generated align-BDD instances of different sizes (number of variables).

Outputs the runtime and objective for each heuristic and instance into a csv formatted file.

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

❖❖❖

❖❖❖

Implementation details