Artifact
Q-Synth Software
Authors
Irfansha Shaik 
,
Jaco van de Pol
- Part of: Collection: Supplementary Materials
- License: MIT License
- Publication Date: 2024-11-28
Document Identifiers
Author Details
- Department of Computer Science, Aarhus University, Denmark
- Kvantify Aps, Copenhagen S, Denmark
Content
archived version
Version/Status
- Content created at: 2023-08-11
- Status: Active (at the time of publication 2024-11-28)
Cite As Get BibTex
Irfansha Shaik, Jaco van de Pol. Q-Synth (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/artifacts.22468
Description
This tool takes a quantum circuit in OPENQASM 2.0 format and the coupling graph of a physical quantum platform. The output is an optimal mapping of the circuit onto the platform, preserving the gates and their dependencies, respecting the coupling graph, and minimizing the number of SWAP operations (with or without using ancillary qubits). We also support ancillary qubits, bridges instead of SWAPS, and relaxed dependencies based on gate commutation rules. We employ two main approaches, classical planning (v1.0) and SAT-solver based parallel plans (v2.0).
Subject Classification
Keywords
- Optimal Layout Synthesis
- Quantum Circuits
- SAT solving
- Parallel Plans
Programming Languages
- Python
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)