SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
PresetSettings.h
Go to the documentation of this file.
1 #pragma once
2 
4 
5 namespace benchmax {
6 namespace settings {
7 
8 struct PresetSettings {
9  /// Use slurm on the RWTH HPC cluster.
10  bool rwth_slurm;
11  /// Name for this job.
12  std::string rwth_slurm_name;
13 };
14 
15 /// Registers preset settings with the settings parser.
17 
18 }
19 
20 /// Return the Slurm settings.
21 inline const auto& settings_preset() {
22  return settings_get<settings::PresetSettings>("presets");
23 }
24 }
Generic class to manage settings parsing using boost::program_options.
void registerPresetSettings(SettingsParser *parser)
Registers preset settings with the settings parser.
const auto & settings_preset()
Return the Slurm settings.
std::string rwth_slurm_name
Name for this job.
bool rwth_slurm
Use slurm on the RWTH HPC cluster.