프로그램별 buddyscout.sf.net

BuddyScout는 BuDDy (바이너리 결정 다이어그램 라이브러리) 및 GHC (글래스고 하스켈 컴파일러) 사이의 인터페이스입니다. 하스켈 프로그램 내에서 BDD 라이브러리를 사용할 수 있습니다.