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