Learning Qiskit Functionality by Coding Grover’s Algorithm to Solve Logic Puzzles

For those wishing to write code to run on quantum circuits, IBM's Qiskit library in the Python language is one obvious choice. However, much of the functionality of Qiskit can be difficult to decipher, especially since the language is evolving rapidly. In this work, we attempt to write a program in Qiskit which can implement Grover's search algorithm to solve a logic puzzle, following Hannum [AJP 93 (1) 78, 2025]. We set up the quantum circuit in Qiskit to solve the logic puzzle and obtained meaningful results on the simulator. However, the results obtained on IBM's quantum computers do not match those from the simulator, warranting further analysis of the transpilation process. Overall, we conclude that Grover's algorithm is a good first step toward writing more complex quantum programs in Qiskit.