바이너리 결정 다이어그램 라이브러리, 와 함께 : 많은 고효율 벡터화된 BDD 작업, 동적 변수 재정렬, 자동 가비지 수집, 자동 참조 카운트가 있는 C++ 인터페이스, 그리고 훨씬 더.
버전 기록
- 버전 BuDDy%202.4 에 게시 2004-07-28
몇 가지 수정 및 업데이트 - 버전 BuDDy 2.4 에 게시 2004-07-28
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: buddy.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 2.4
- 플랫폼: linux