SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::settings::PresetSettings Struct Reference

#include <PresetSettings.h>

Collaboration diagram for benchmax::settings::PresetSettings:

Data Fields

bool rwth_slurm
 Use slurm on the RWTH HPC cluster. More...
 
std::string rwth_slurm_name
 Name for this job. More...
 

Detailed Description

Definition at line 8 of file PresetSettings.h.

Field Documentation

◆ rwth_slurm

bool benchmax::settings::PresetSettings::rwth_slurm

Use slurm on the RWTH HPC cluster.

Definition at line 10 of file PresetSettings.h.

◆ rwth_slurm_name

std::string benchmax::settings::PresetSettings::rwth_slurm_name

Name for this job.

Definition at line 12 of file PresetSettings.h.


The documentation for this struct was generated from the following file: