crates.io : oxidd-rules-tdd
Ternary decision diagrams (TDDs) for OxiDD
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/oxidd-rules-tdd
Keywords:
bdd
, binary-decision-diagrams
, zbdd
, zdd
, zero-suppressed-decision-diagrams
License: MIT,Apache-2.0
Latest release: 5 months ago
First release: over 1 year ago
Dependent packages: 1
Downloads: 7,449 total
Stars: 63 on GitHub
Forks: 9 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 20 hours ago
Loading...
Readme
Loading...