इस परियोजना में दो अलग-अलग बाइनरी निर्णय आरेख (बीडीडी) पुस्तकालय शामिल हैं: जेबीडीडी: दो लोकप्रिय बीडीडी पुस्तकालयों, सीयूडीडी और BuDDy के लिए एक जावा इंटरफेस। JDD: एक देशी जावा पुस्तकालय BDD, जेड-BDD और अधिक समर्थन (ग्राफ/automata/पेट्री जाल/SAT)
संस्करण इतिहास
- विवरण JDD.jar-build103 पर तैनात 2009-03-10
कई सुधार और अपडेट - विवरण JDD.jar-build103 पर तैनात 2009-03-10
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: javaddlib.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 103
- मंच: linux