This project implements Grover's Quantum Search Algorithm using Qiskit to solve K-SAT problems. The solution leverages quantum superposition and amplitude amplification to achieve a quadratic speedup ...