qiskit>=0.45
z3-solver
