VeriQ QSeqSim v0.1.2

VeriQ QSeqSim v0.1.2 is a branding-only patch release.

• Standardizes current software branding from Veri-Q to VeriQ.
• Updates README, CITATION.cff, and current-facing software metadata.
• Includes no functional or dependency changes.
• Qiskit support remains >=2.4,<3.

VeriQ QSeqSim v0.1.1

Maintenance release.

• Validates compatibility with Qiskit 2.5.x and relaxes the supported dependency range to qiskit>=2.4,<3 without adding Qiskit 3 support.
• Adds continuous CI coverage for the fixed Qiskit 2.4.2 lower bound and the latest supported Qiskit 2.x release.
• Cleans up public project documentation and presentation.

VeriQ QSeqSim v0.1.0

VeriQ QSeqSim v0.1.0 is the first public Qiskit-native release.

Highlights:

• Direct QuantumCircuit support, including tested dynamic control flow and measurement-driven while loops
• Qiskit BackendV2 integration with counts and memory
• Native SamplerV2 support with PUB inputs and per-register BitArray results
• BDD/weighted-model-counting symbolic simulation for structured dynamic and sequential workloads

Install from PyPI:

python -m pip install qseqsim

QSeqSim requires the compiled dd.cudd backend. PyPI provides tested dd==0.6.0 manylinux wheels for Linux x86_64 with CPython 3.12/3.13; macOS arm64 requires the documented CUDD-enabled source build. See the installation guide and changelog.

Qiskit Aer remains the stronger choice for small and general numerical simulation; QSeqSim targets structured symbolic workloads.