Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
src/Data		src/Data
tests		tests
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
robdd.cabal		robdd.cabal

Repository files navigation

Reduced Ordered Binary Decision Diagrams

Inspired by “A purely functional implementation of ROBDDs in Haskell.” by Jan Christiansen and Frank Huch.

About

Reduced Ordered Binary Decision Diagrams

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 100.0%