QE_Solver
