pypi.org : pyddlib
pyddlib is a Python3 library for manipulating decision diagrams (DD).
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/pyddlib
Keywords:
decision diagrams
, BDD
, ADD
, symbolic
, boolean
, data structure
, add
, algebraic-data-types
, bdd
, decision-diagrams
, logic
, symbolic-manipulation
License: GPL-2.0
Latest release: about 8 years ago
First release: about 8 years ago
Dependent repositories: 1
Downloads: 73 last month
Stars: 8 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago