BDD Functionality #2
Description
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.