IBEN은 대화형 BDD 환경입니다. 그것은 선언, 조작 및 감소 된 바이너리 결정 다이어그램 (ROBDDs)를 시각화 할 수 있습니다. BDD를 대화형으로 조작해야 할 때마다 유용하지만 학습 도구로 설계되었습니다.
버전 기록
- 버전 1.1 에 게시 2003-03-25
몇 가지 수정 및 업데이트 - 버전 1.1 에 게시 2003-03-25
프로그램 세부 정보
- 범주: 교육 > 다른
- 게시자: iben.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 1.1
- 플랫폼: linux