Giters

m4lvin / sylvan-haskell

Haskell bindings to the Sylvan Parallel BDD library

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

Haskell bindings to the Sylvan Parallel BDD library

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 90.9%Language:C 9.1%