dime10 / qiskit-terra Goto Github PK
View Code? Open in Web Editor NEWThis project forked from qiskit/qiskit
The Hoare optimizer is the completetion of a hackathon project started at Qiskit Camp Europe 2019. It constitues of an optimization pass in Terra based on Hoare logic. This uses post- and triviality conditions of gates and state assertions to infer information about the qubit state and optimize away superfluous gates. Based on: https://arxiv.org/abs/1810.00375
License: Apache License 2.0