Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "decision-diagrams" keyword
mqt-core 2.4.2
The Backbone of the Munich Quantum Toolkit19 versions - Latest release: 26 days ago - 2.37 thousand downloads last month - 45 stars on GitHub - 1 maintainer
mqt.qcec 2.6.0
A tool for Quantum Circuit Equivalence Checking33 versions - Latest release: about 2 months ago - 1 dependent package - 6.04 thousand downloads last month - 86 stars on GitHub - 2 maintainers
Top 9.4% on pypi.org
24 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 1.9 thousand downloads last month - 121 stars on GitHub - 2 maintainers
mqt.ddsim 1.22.0
A quantum simulator based on decision diagrams written in C++24 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 1.9 thousand downloads last month - 121 stars on GitHub - 2 maintainers
pyddlib 0.2.1
pyddlib is a Python3 library for manipulating decision diagrams (DD).3 versions - Latest release: about 7 years ago - 1 dependent repositories - 24 downloads last month - 6 stars on GitHub - 1 maintainer
Related Keywords
MQT
3
quantum-computing
3
design-automation
3
mqt
3
tum
3
zx-calculus
2
jku
2
python
2
quantum-circuits
2
BDD
1
ADD
1
symbolic
1
boolean
1
data structure
1
add
1
algebraic-data-types
1
bdd
1
logic
1
symbolic-manipulation
1
decision diagrams
1
quantum-circuit-simulator
1
quantum
1
simulation
1
quantum-circuit-sim
1
equivalence-checker
1
cpp17
1
verification
1
equivalence-checking
1
quantum-intermediate-representation
1