Content
Replace all occurences of predicate variables by a boolean version binarized at thresh_key. Returns a new formula object.
thresh_key
config (Dict[str, Any]) –
formula_obj (Merge) –
thresh_key (Optional[str]) –