sympy
qiskit
