द्वारा कार्यक्रम iben.sf.net
-
Interactive BDD Environment मुफ्त
आईबेन इंटरैक्टिव बीडीडी वातावरण है। यह आपको कम आदेश दिए गए बाइनरी निर्णय आरेख (ROBDDs) की घोषणा, हेरफेर और कल्पना करने की अनुमति देता है। इसे एक सीखने के उपकरण के रूप में डिज़ाइन किया गया था, हालांकि जब भी आपको बीडीडी में हेर