Awesome Lists

sat-circuits-engine

by ohadlev77

HTMLpushed over 3 years ago

A Python-Qiskit-based package that provides capabilities of easily generating, executing and analyzing 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 generalization.

AI summary

Quantum circuit solver

A Python package for generating and executing quantum circuits for solving satisfiability problems using Grover's algorithm

stars
7
forks
1
watching
2
awesome list
1
View on GitHub

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/ohadlev77/sat-circuits-engine/links.svg)](https://awesome.facts.dev/awesome/ohadlev77/sat-circuits-engine)
HTML
<a href="https://awesome.facts.dev/awesome/ohadlev77/sat-circuits-engine"><img src="https://awesome.facts.dev/shield/ohadlev77/sat-circuits-engine/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/ohadlev77/sat-circuits-engine/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.