Text this: Distributed binary decision diagrams