enigma-quantum (pypi): Grover SAT solver.
Keywords: boolean-satisfiability-problem|grover|qiskit|quantum