pypi.org "bitvector" keyword
View the packages on the pypi.org package registry that are tagged with the "bitvector" keyword.
Top 0.2% on pypi.org
54 versions - Latest release: 28 days ago - 114 dependent packages - 2,329 dependent repositories - 2.33 million downloads last month - 424 stars on GitHub - 1 maintainer
bitstring 4.3.1
Simple construction, analysis and modification of binary data.54 versions - Latest release: 28 days ago - 114 dependent packages - 2,329 dependent repositories - 2.33 million downloads last month - 424 stars on GitHub - 1 maintainer
Top 9.0% on pypi.org
19 versions - Latest release: about 1 year ago - 2 dependent packages - 9 dependent repositories - 18.3 thousand 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: about 1 year ago - 2 dependent packages - 9 dependent repositories - 18.3 thousand downloads last month - 45 stars on GitHub - 3 maintainers
bitlist 1.2.0
Pure-Python library for working with bit vectors.30 versions - Latest release: over 1 year ago - 7 dependent packages - 5 dependent repositories - 4.16 thousand downloads last month - 0 stars on GitHub - 1 maintainer
Related Keywords
python
3
bit-manipulation
2
binary
1
satisfiability
1
enumeration
1
state machine
1
transition system
1
automaton
1
automata
1
streett
1
rabin
1
temporal logic
1
temporal tester
1
gr1
1
generalized reactivity
1
logic-minimization
1
synthesis
1
temporal-logic
1
bit
1
bit-algorithms
1
bit-array
1
bit-vector
1
bit-vectors
1
bits
1
common-library
1
data-structures
1
bitarray
1
bitfield
1
binary-data
1
bitstring
1
first-order
1
propositional
1
logic
1
quantifier
1
forall
1
exists
1
fixpoint
1
mu-calculus
1
formula
1
flatten
1
bitblaster
1
arithmetic
1
binary decision diagram
1
symbolic
1
games
1
specification
1
system
1
assume
1
guarantee
1