Repository navigation
Added more methods to the SolverServerProcess class since it was lacking the ability to know the condition of the server (such as whether the startup has already finished). Also, lowered the version bound for typing-extensions to be consistent with the ones currently used in another project.