Solve k-SAT problem with grover's algorithm in quantum computer
Primary LanguagePythonGNU General Public License v3.0GPL-3.0