द्वारा कार्यक्रम javabdd.sf.net

बीडीडी (बाइनरी निर्णय आरेख) में हेरफेर करने के लिए जावा पुस्तकालय। बाइनरी निर्णय आरेख का व्यापक रूप से मॉडल चेकिंग, औपचारिक सत्यापन, अनुकूलन सर्किट आरेख आदि में उपयोग किया जाता है।