sat-circuits-engine
by ohadlev77
HTMLpushed over 3 years ago
A Python-Qiskit-based package that provides capabilities of easily generating, executing and analyzing quantum circuits for satisfiability problems according to user-defined constraints. The circuits being generated by the program are based on Grover's algorithm and its amplitude-amplification generalization.
AI summary
Quantum circuit solver
A Python package for generating and executing quantum circuits for solving satisfiability problems using Grover's algorithm
- stars
- 7
- forks
- 1
- watching
- 2
- awesome list
- 1
Featured in 1 awesome list
Each link jumps to the spot where the list mentions sat-circuits-engine.