SolverResults(LoadedProblem &, std::ostream &) solver_free_func_t
std::function< solver_free_func_t > solver_func_t
std::function< SharedSolverWrapper(std::string_view, Options &)> solver_builder_func
std::shared_ptr< SolverWrapper > SharedSolverWrapper
virtual void write_statistics_to_stream(std::ostream &)
SolverWrapper(solver_func_t run)
virtual bool has_statistics() const