![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
#include "PresetSettings.h"
#include <benchmax/logging.h>
#include <benchmax/settings/SettingsParser.h>
#include <benchmax/backends/slurm/SlurmSettings.h>
#include <benchmax/benchmarks/benchmarks.h>
#include <benchmax/settings/Settings.h>
#include <cstdlib>
Go to the source code of this file.
Namespaces | |
benchmax | |
benchmax::settings | |
Functions | |
bool | benchmax::settings::finalize_preset_settings (PresetSettings &s, boost::program_options::variables_map &values) |
Postprocess preset settings. More... | |
void | benchmax::settings::registerPresetSettings (SettingsParser *parser) |
Registers preset settings with the settings parser. More... | |