Library for analysis, compilation, synthesis, optimization of quantum circuits
https://github.com/boschmitt/tweedledum