bqskit
numpy
python-sat
pyzx
qiskit>=1.0
rustworkx
pennylane
