Программы buddyscout.sf.net

BuddyScout — интерфейс между BuDDy (библиотека Binary Decision Diagram) и GHC (Glasgow Haskell Compiler). Это позволяет использовать библиотеку BDD из программ Haskell.