이 프로젝트에는 두 개의 서로 다른 바이너리 결정 다이어그램(BDD) 라이브러리가 포함되어 있습니다: JBDD: 두 개의 인기 있는 BDD 라이브러리, CUDD 및 BuDDy에 대한 Java 인터페이스. JDD: BDD, Z-BDD 등을 지원하는 네이티브 자바 라이브러리(그래프/오토마타/페트리 그물/SAT)
버전 기록
- 버전 JDD.jar-build103 에 게시 2009-03-10
몇 가지 수정 및 업데이트 - 버전 JDD.jar-build103 에 게시 2009-03-10
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: javaddlib.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 103
- 플랫폼: linux