QSeqSim: A Symbolic Simulator for Qiskit While Loops using Sequential Quantum Circuits

QSeqSim QSeqSim is a symbolic simulator backend for Qiskit programs with classical control, with a focus on while loops (sequential quantum circuits).It parses Qiskit circuits to OpenQASM 3 and executes them symbolically using BDDs (CUDD backend). Artifact contents Source code: src/, examples/, test/, exp/ Artifact Evaluation package: ae/ (Tables 1–5) Offline Docker image archive: qseqsim-ae-image.tar.gz Documentation: docs/ Quick start (Docker, offline image) 1) Load the Docker image archive gunzip -c qseqsim-ae-image.tar.gz | docker load 2) Run the container docker run --rm -it qseqsim-ae:latest bash If docker load only prints an image ID, run by IMAGE ID: docker images --no-trunc | head docker run --rm -it bash 3) Inside the container, run ./ae/scripts/run_smoke.sh Documentation inside the artifact AE reproduction: ae/README.md User guide: docs/USER_GUIDE.md Reuse & extension: docs/REUSE.md Environment / installation: docs/ENVIRONMENT.md Results format: docs/RESULTS_FORMAT.md Repository overview: README.md License: Apache-2.0 (see LICENSE and License.txt)