default
Returns a default BinaryDecisionDiagramBuilder instance. Different platforms can return different types of instances, to apply platform-specific optimizations. Note, no reduction optimization must be applied by the returned instance.