experiments.compare_simpl_LBs

Module summary

Compares different lower bounds for the simplified problem.

Given a list of (align-BDD) problems, builds and solves a simplified problem corresponding to each one to calculate the ‘LB tightness’ parameter and keep track of the runtime.

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

❖❖❖

❖❖❖

Implementation details