hackage.haskell.org : obdd
pure Haskell implementation of reduced ordered binary decision diagrams
Registry
-
Source
- JSON
purl: pkg:hackage/obdd
Keywords:
gpl
, library
, logic
, Propose Tags
License: GPL-3.0-only
Latest release: over 1 year ago
First release: about 17 years ago
Dependent repositories: 2
Downloads: 10,652 total
Stars: 11 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 11 days ago
Loading...
Readme
Loading...