sat-circuits-engine
Quantum circuit solver
A Python package for generating and executing quantum circuits for solving satisfiability problems using Grover's algorithm
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.
7 stars
2 watching
1 forks
Language: HTML
last commit: over 1 year ago
Linked from 1 awesome list
grovers-algorithmpythonqiskitquantum-circuit-synthesisquantum-computingsatisfiability-solver
qosf/awesome-quantum-softwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 quantum-visualizations/qmsolve | A Python module for solving and visualizing the Schrödinger equation in quantum mechanics | 946 |
 zlatko-minev/pyepr | Automated design and analysis of quantum microwave circuits | 169 |
 qu-tan-um/olsq | Tools and software for optimizing quantum circuit layout to resolve connectivity constraints | 22 |
 qiskit-community/qiskit-nature | A framework for solving quantum mechanical natural science problems using quantum computing algorithms. | 306 |
 ornl-qci/xacc-vqe | A tool for solving quantum systems through numerical methods using an interface to the XACC framework | 14 |
 boschmitt/tweedledum | A C++17 library for synthesizing, compiling, and optimizing quantum circuits | 98 |
 quantumlib/qsim | A simulator for quantum circuits that uses various algorithms and techniques to accurately model the behavior of quantum systems. | 470 |
 indisoluble/swiftquantumcomputing | A software framework for simulating and analyzing quantum circuits and algorithms in Swift. | 45 |
 qaqarot/qaqarot | A comprehensive quantum computing library for programming and simulating quantum systems. | 374 |
 artiste-qb-net/qubiter | A Python-based suite of tools for designing and simulating quantum circuits on classical computers. | 121 |
 atulvarshneya/quantum-computing | A comprehensive Python development environment for quantum computing, providing tools and libraries for simulating and implementing quantum circuits. | 16 |
 harshangrjn/quantumcircuitopt.jl | Tools for designing efficient quantum circuits using mathematical optimization algorithms | 57 |
 llens/quantumcomputingevolutionaryalgorithmdesign | Designs quantum algorithms using evolutionary techniques | 19 |
 quantumbfs/yao.jl | A framework for designing and implementing quantum algorithms | 938 |
 adgt/pyquirk | A Python widget for visualizing quantum computing circuits in interactive Jupyter notebooks and environments. | 24 |