2011-07-28 2 views
4

이진 결정 다이어그램 (BDD)을 구현하려면 어떻게해야합니까? 문화적 알고리즘과 BDD에 의한 회로 오류 탐지를 기반으로 BDD의 최소화를 구현하고 싶습니다.누구나 C# BDD (Binary Decision Diagram) 패키지를 알고 있습니까?

+0

일반 찾고있는 것은 BDD의 또는 ROBDD의 할 수있다? – harold

+0

실제로 ROBDD :) – sarah

+0

완전히 다른 것을 의미하는대로 BDD 태그를 제거하도록 편집되었습니다. –

답변

2

PATDBB은 (압축되지 않은 큰) 당신이