Changes the LibBDD version of the Apply and RelProd benchmarks to load the BDD directly from the file (rather than with the custom parser). Doing this allows us to circumvent the fact, that LibBDD does not properly support the build_node functions (and instead has an entire sub-BDD for each node in the input).
Changes the LibBDD version of the Apply and RelProd benchmarks to load the BDD directly from the file (rather than with the custom parser). Doing this allows us to circumvent the fact, that LibBDD does not properly support the
build_nodefunctions (and instead has an entire sub-BDD for each node in the input).