def METHOD_NAME(self):
    solvers = [
        claripy.SolverStrings(backend=claripy.backend_manager.backends.smtlib_cvc4),
        claripy.SolverStrings(backend=claripy.backend_manager.backends.smtlib_z3),
        # claripy.SolverStrings(backend=claripy.backend_manager.backends.smtlib_z3str),
    ]
    return solvers