프로그램별 bddbddb.sf.net

BDD 기반 공제 데이터베이스, 기본 데이터 구조로 바이너리 결정 다이어그램을 사용하는 데이터 로그의 구현. 이를 통해 기하급수적으로 크기의 관계를 효율적으로 나타낼 수 있습니다.