BDD Buddy.

BDD Buddy는 2 진의 결정 다이어그램 라이브러리입니다.
지금 다운로드

BDD Buddy. 순위 및 요약

광고

  • Rating:
  • 특허:
  • Public Domain
  • 가격:
  • FREE
  • 게시자 이름:
  • Haim Cohen
  • 게시자 웹사이트:

BDD Buddy. 태그


BDD Buddy. 설명

BDD Buddy는 이진 결정 다이어그램 라이브러리입니다. BDD Buddy는 다음과 같은 많은 매우 효율적인 Vectorized BDD 작업, 동적 변수 재정렬, 자동화 가비지 수집, 자동 참조 카운팅이있는 C ++ 인터페이스, 여기에 제시된 BDD 패키지는 PHD의 일부로 만들어졌습니다. JRN Lind-Nielsen의 유한 상태 기계의 모델 검사 프로젝트. 이 패키지는 BDD에 대한 간단한 소개에서 모든 표준 BDD 운영, 재정렬 및 부를 갖춘 전체 BDD 패키지로 진화했습니다. 패키지는 매우 간단합니다. C / C ++ 프로그램의 경우 "bdd.h"와 "BDD"와 링크를 포함하고 실행 중이고 실행 중입니다. C ++ 인터페이스를 사용하면 참조 카운팅 및 가비지 컬렉션에 대해 생각할 필요조차 없습니다. 빌드 프로세스에 대한 구성 스크립트를 사용하여 예제를 실행하고 예상 결과와 비교하는 RunRegression 스크립트를 추가합니다.


BDD Buddy. 관련 소프트웨어

회사 소개