Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
LICENSE		LICENSE
Readme.md		Readme.md
Setup.hs		Setup.hs
Sylvan.hs		Sylvan.hs
stubs.c		stubs.c
sylvan-haskell.cabal		sylvan-haskell.cabal

Repository files navigation

Bindings to the Sylvan Parallel BDD library

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

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

About

Haskell bindings to the Sylvan Parallel BDD library

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages