Appendix A — Software packages

• QuTiP: Quantum Toolbox for simulating the dynamics of quantum systems.
• Qiskit: IBM’s development kit, the indisputable standard for gate-based quantum software development.
• Ocean SDK: D-Wave proprietary SDK. Really useful for problem posing and creating the first instances of our particular problems before moving to annealers, gate-based devices or whatever might be the final solver.
• QuEra’s Bloqade for simulating Neutral Atom platforms both in Julia and Python
• Amazon Braket for simulation and sending jobs to Amazon Braket service.
• Pennylane SDK for Quantum Machine Learning, among other topics.
• QUIMB for those wanting to get deep into Tensor Network stuff.
• sQUlearn focused on QML with great documentation
• TensorFlow Quantum looking into interoperability between the classical and quantum world.
• TensorKrowch
• Quantum Tea for Tensor Network applications
• QIBO for simulation and working as a middleware

A.1 For problem formulation

• QUBOVERT

A.2 For compilation and transpilation

• pytket: Quantinuum’s TKET compiler, retargetable and available as a plugin for most SDKs.
• PyZX for circuit simplification via ZX-calculus rewriting.
• BQSKit for numerical resynthesis of circuit blocks.
• Superstaq for device-aware compilation across vendors.
• Stim for very fast stabilizer circuit simulation, the reference tool for error correction work.

More on how these fit together in the quantum computing stack.