프로그램별 bdd-tree.sf.net
-
Binary Decision Diagram 무료
BDD(바이너리 결정 다이어그램) 표현을 사용하여 전체 소프트웨어 패키지를 생성하여 설계 최적화 목표에 대한 논리 맵을 조작하여 c++ Core.C++GUI에서 설계 최적화 목표곱을 다수화합니다. VB6 Verilog 모듈 퀸 맥클루스키 멀티 기능 작업
BDD(바이너리 결정 다이어그램) 표현을 사용하여 전체 소프트웨어 패키지를 생성하여 설계 최적화 목표에 대한 논리 맵을 조작하여 c++ Core.C++GUI에서 설계 최적화 목표곱을 다수화합니다. VB6 Verilog 모듈 퀸 맥클루스키 멀티 기능 작업