BDD Functionality

[haz]

Would be useful to check for various forms of BDD representation and/or exporting to a BDD format that can be used elsewhere with another library. It's a common enough point on the KCM that warrants special treatment.