Haskell bindings to the Sylvan Parallel BDD library
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause
Bindings to the Sylvan Parallel BDD library http://fmt.ewi.utwente.nl/tools/sylvan/