Skip to content
This repository has been archived by the owner on Sep 26, 2023. It is now read-only.

examples: add Grover 3-SAT solver #31

Merged
merged 5 commits into from
Mar 23, 2023
Merged

examples: add Grover 3-SAT solver #31

merged 5 commits into from
Mar 23, 2023

Conversation

airwoodix
Copy link
Contributor

Summary

This patch adds an example solving a 3-SAT problem using the Grover algorithm and associated tooling from Qiskit. See the Qiskit tutorial for more information.

@airwoodix airwoodix requested a review from mzangerl March 21, 2023 13:57
@airwoodix airwoodix self-assigned this Mar 21, 2023
@github-actions
Copy link

github-actions bot commented Mar 21, 2023

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines Covered Coverage Threshold Status
1283 1083 84% 83% 🟢

New Files

File Coverage Status
examples/grover-3-sat.py 100% 🟢
TOTAL 100% 🟢

Modified Files

File Coverage Status
examples/example.py 100% 🟢
TOTAL 100% 🟢

updated for commit: 4c2be5b by action🐍

Copy link

@mzangerl mzangerl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's pretty cool!

@airwoodix airwoodix merged commit 99cde9c into master Mar 23, 2023
@airwoodix airwoodix deleted the add-grover-example branch March 23, 2023 10:06
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants