Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "binary decision diagram" keyword
Top 4.4% on pypi.org
25 versions - Latest release: 5 months ago - 9 dependent packages - 36 dependent repositories - 1.4 thousand downloads last month - 167 stars on GitHub - 3 maintainers
dd 0.6.0
Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, ...25 versions - Latest release: 5 months ago - 9 dependent packages - 36 dependent repositories - 1.4 thousand downloads last month - 167 stars on GitHub - 3 maintainers
Top 3.3% on pypi.org
43 versions - Latest release: 6 months ago - 6 dependent packages - 44 dependent repositories - 12.5 thousand downloads last month - 280 stars on GitHub - 1 maintainer
pyeda 0.29.0
Python Electronic Design Automation43 versions - Latest release: 6 months ago - 6 dependent packages - 44 dependent repositories - 12.5 thousand downloads last month - 280 stars on GitHub - 1 maintainer
Top 9.0% on pypi.org
19 versions - Latest release: 3 months ago - 2 dependent packages - 9 dependent repositories - 242 downloads last month - 45 stars on GitHub - 3 maintainers
omega 0.4.0
Symbolic algorithms for solving games of infinite duration.19 versions - Latest release: 3 months ago - 2 dependent packages - 9 dependent repositories - 242 downloads last month - 45 stars on GitHub - 3 maintainers
Related Keywords
satisfiability
2
logic
2
python
2
temporal-logic
1
games
1
symbolic
1
arithmetic
1
bitvector
1
bitblaster
1
flatten
1
formula
1
mu-calculus
1
fixpoint
1
exists
1
forall
1
quantifier
1
propositional
1
first-order
1
Two-level logic optimization
1
synthesis
1
logic-minimization
1
generalized reactivity
1
gr1
1
temporal tester
1
temporal logic
1
rabin
1
streett
1
automata
1
automaton
1
transition system
1
state machine
1
enumeration
1
guarantee
1
assume
1
system
1
specification
1
computer arithmetic
1
combinatorial logic
1
combinational logic
1
Boolean satisfiability
1
Boolean algebra
1
zdd
1
sylvan
1
cython
1
cudd
1
binary-decision-diagrams
1
graphviz
1
dot
1
networkx
1
boolean
1
decision diagram
1
bdd
1
Two-level logic minimization
1
truth table
1
SAT
1
PicoSAT
1
mathematics
1
math
1
logic synthesis
1
logic optimization
1
logic minimization
1
Espresso-signature
1
Espresso-exact
1
Espresso
1
electronic design automation
1
EDA
1
digital logic
1
digital arithmetic
1