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: over 8 years ago
First release: over 8 years ago
Dependent repositories: 1
Downloads: 10 last month
Stars: 10 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 16 days ago