GitHub repository: ohadlev77/SAT_Circuits_Engine
Primary language: Python
Created: 2022-09-15T00:47:34Z
Description: This Qiskit-based program builds and runs 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 sub-routine.