12 std::shared_ptr<ArchiveReader> archive_reader,
13 std::vector<std::string> problem_names);
14 [[nodiscard]] std::vector<std::shared_ptr<Problem>> provideProblems(
15 const std::string& solver_name,
17 std::shared_ptr<ArchiveReader> archive_reader_;
18 std::filesystem::path lp_dir_;
19 std::vector<std::string> problem_names_;