This repository provides a Qiskit implementation of an oracle that solves a SAT instance. In particular, two examples are provided:
- Sat instance with 1 solution,
- Sat instance with more solutions.
This code is part of my Medium article, which discusses how to implement an oracle. "Behind Oracles: Grover's Algorithm & Amplitude Amplification"