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