QuantumCircuitOpt.jl

This Julia package implements discrete optimization methods for provably optimal synthesis of quantum circuits. It addresses the challenge of building efficient circuits from hardware-constrained elementary gates. Given a target computation and a set of available gates, it provides an exact or approximate decomposition with the minimum number of elemental gates and CNOT gates. It supports multi-qubit gates in the elementary set, though currently limited to circuits up to ten qubits. This tool helps researchers and developers reduce the resource requirements of quantum computations, making them more practical and efficient.