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

  • Java Decision Diagram Libraries मुफ्त

    इस परियोजना में दो अलग-अलग बाइनरी निर्णय आरेख (बीडीडी) पुस्तकालय शामिल हैं: जेबीडीडी: दो लोकप्रिय बीडीडी पुस्तकालयों, सीयूडीडी और BuDDy के लिए एक जावा इंटरफेस। JDD: एक देशी जावा पुस्तकालय BDD, जेड-BDD और अधिक समर्थन (ग्राफ/au