Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by ohadlev77

A curated list of projects in awesome lists by ohadlev77 .

https://github.com/ohadlev77/sat-circuits-engine

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.

grovers-algorithm python qiskit quantum-circuit-synthesis quantum-computing satisfiability-solver

Last synced: 16 Nov 2024