द्वारा कार्यक्रम bdd-tree.sf.net

डिजाइन अनुकूलन उद्देश्यों के लिए तर्क मानचित्रों में हेरफेर करने के लिए बाइनरी निर्णय आरेख (बीडीडी) प्रतिनिधित्व का उपयोग करके पूर्ण सॉफ्टवेयर पैकेज का उत्पादन करें {जैसे (ए + बी) (सी) (डी)) }सी ++ कोर में.C ++ जीयूआई। VB6 Ve