simple
Returns a simple BinaryDecisionDiagramBuilder instance that does not apply platform-specific or reduction optimizations. This provides basic means to build represent BDDs, and keeps the entire data structure in memory in the form of a directed graph.