프로그램별 javabdd.sf.net

BDD를 조작하기 위한 Java 라이브러리(이진 결정 다이어그램). 바이너리 결정 다이어그램은 모델 검사, 정식 검증, 회로 다이어그램 최적화 등에 널리 사용됩니다.