! Return stats from solver. The return type is specifc to the solver used. This is an abstract method. @return The statistics returned by the solver. This is specified to the solver used.
(self)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected