A transpiler pass for Qiskit which uses ZX-Calculus for circuit optimization, implemented using PyZX.