#QPP Implementation of: Quantum register and operators SAT-solver based on Grover's quantum algorithm