/robdd

Primary LanguageC++

Multi-core ROBDD Builder

See about.pdf for details.