Synthopline

Synthopline (qat.synthopline) is a complete library for quantum circuit synthesis, optimisation, and compilation.

Quick introduction to the operator synthesis algorithms can be found here:

• Linear Boolean operator synthesis
• Phase polynomial synthesis
• Trotter expansions

Also some application of the trotter expansion method to generate good VQE Ansatz.

Synthopline also provides compilation plugins:

• LazySynthesis plugin