![](/statics/img/blank.png)
Java Decision Diagram Libraries 103
라이센스: 무료 파일 크기: N/A
사용자 평가: 4.0/5 - 1 투표
기다리세요... 악의적인 콘텐츠에 대해 다운로드 링크가 확인되고 있습니다.
5초 만에 다운로드할 수 있습니다.
5초 만에 다운로드할 수 있습니다.
에 대해 Java Decision Diagram Libraries
이 프로젝트에는 두 개의 서로 다른 바이너리 결정 다이어그램(BDD) 라이브러리가 포함되어 있습니다: JBDD: 두 개의 인기 있는 BDD 라이브러리, CUDD 및 BuDDy에 대한 Java 인터페이스. JDD: BDD, Z-BDD 등을 지원하는 네이티브 자바 라이브러리(그래프/오토마타/페트리 그물/SAT)