Bindings to the Sylvan Parallel BDD library

September 7, 2021 · View on GitHub

http://fmt.ewi.utwente.nl/tools/sylvan/

Example usage: https://github.com/m4lvin/sylvan-haskell-example