IUserSolver IAnalysis.Solver { get; }

Gets the ACT solver object associated with this analysis if exists or null.