# Circuit Synthesis (qiskit.synthesis)¶

## Evolution Synthesis¶

 Interface for evolution synthesis algorithms. ProductFormula(order[, reps, …]) Product formula base class for the decomposition of non-commuting operator exponentials. LieTrotter([reps, insert_barriers, …]) The Lie-Trotter product formula. SuzukiTrotter([order, reps, …]) The (higher order) Suzuki-Trotter product formula. Exact operator evolution via matrix exponentiation and unitary synthesis.