Text this: Manipulation of boolean functions based on decision diagrams