बीडीडी (बाइनरी निर्णय आरेख) में हेरफेर करने के लिए जावा पुस्तकालय। बाइनरी निर्णय आरेख का व्यापक रूप से मॉडल चेकिंग, औपचारिक सत्यापन, अनुकूलन सर्किट आरेख आदि में उपयोग किया जाता है।
संस्करण इतिहास
- विवरण 0.6%20Win32%20binary पर तैनात 2005-05-09
कई सुधार और अपडेट - विवरण 0.6 Win32 binary पर तैनात 2005-05-09
कार्यक्रम विवरण
- कोटि: पढ़ाई > अन्य
- प्रकाशक: javabdd.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 0.6
- मंच: linux