프로그램별 buddy.sf.net

바이너리 결정 다이어그램 라이브러리, 와 함께 :많은 고효율 벡터화된 BDD 작업,동적 변수 재정렬,자동 가비지 수집,자동 참조 카운트가 있는 C++ 인터페이스,그리고 훨씬 더.