Bindings to the Sylvan Parallel BDD library http://fmt.ewi.utwente.nl/tools/sylvan/ Example usage: https://github.com/m4lvin/sylvan-haskell-example