Circuit Synthesis¶
Tools for synthesizing quantum circuits, including circuits that prepare logical states fault-tolerantly.
Exact Circuit Synthesis
An SMT/SAT-based engine for provably optimal Clifford circuits. Supports CSS and non-CSS stabilizer codes and optimizes for either gate count or depth.
Encoding Circuit Synthesis
Encoding circuits for arbitrary stabilizer codes — the isometry mapping \(k\) logical qubits into \(n\) physical qubits.
Pauli Eigenstates for CSS Codes
Synthesis and simulation of fault-tolerant and non-fault-tolerant circuits preparing logical Pauli eigenstates of arbitrary \([[n,k,d]]\) CSS codes.
Cat State Preparation
Preparation of \(|0\rangle^{\otimes w}+|1\rangle^{\otimes w}\) states, used for Shor-style syndrome extraction, with verification against faults.