Gets the BDD representation of the CSP problem before the expressions is compiled in.

See Also

BDDSpace Class | CLab.BDD Namespace