setBinaryDecisionDiagram

Returns a new Solution, otherwise equivalent to this one, tagged with value as its binaryDecisionDiagram. Used by probabilistic solvers to attach the explanation a solution's probability was computed from, so that callers can inspect (or recompute against) it later without re-deriving it from the original goal.