solve_inst

Module summary

Solves given align-BDD instances to benchmark different methods.

Takes a list of align-BDD instances (generated by gen_BDD_pair) and solves it applying different heuristics. In particular, for each instance the script:

• generates the simplified problem and solves it with heuristics described in list heuristics.SIMPL_HEU,

• solves the original problem with the heuristics described in list heuristics.ORIG_HEU.

For each operation, runtime and the resulting objective are logged (and saved in a csv formatted file).

(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()

Implements the instance solution.

❖❖❖

Implementation details

❖❖❖

Functions

solve_inst.main()

Implements the instance solution.