dynamic-circuits
Symbolic simulation of dynamic Qiskit circuits and measurement-driven loops using BDDs and weighted model counting.