@property<EOL><INDENT>def status(self):<DEDENT>
if self.request_list.conflict:<EOL><INDENT>return SolverStatus.failed<EOL><DEDENT>if self.callback_return == SolverCallbackReturn.fail:<EOL><INDENT>return SolverStatus.failed<EOL><DEDENT>st = self.phase_stack[-<NUM_LIT:1>].status<EOL>if st == SolverStatus.cyclic:<EOL><INDENT>return SolverStatus.failed<EOL><DEDENT>elif len(self.phase_stack) > <NUM_LIT:1>:<EOL><INDENT>if st == SolverStatus.solved:<EOL><INDENT>return SolverStatus.solved<EOL><DEDENT>else:<EOL><INDENT>return SolverStatus.unsolved<EOL><DEDENT><DEDENT>elif st in (SolverStatus.pending, SolverStatus.exhausted):<EOL><INDENT>return SolverStatus.unsolved<EOL><DEDENT>else:<EOL><INDENT>return st<EOL><DEDENT>
Return the current status of the solve.

        Returns:
          SolverStatus: Enum representation of the state of the solver.