bdd_from_list(? List, ?Vars, - BddHandle)*
Convert a List of logical expressions of the form above, that includes the set of free variables Vars, into a BDD accessible through BddHandle.