![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
#include <PresetSettings.h>

Data Fields | |
| bool | rwth_slurm |
| Use slurm on the RWTH HPC cluster. More... | |
| std::string | rwth_slurm_name |
| Name for this job. More... | |
Definition at line 8 of file PresetSettings.h.
| bool benchmax::settings::PresetSettings::rwth_slurm |
Use slurm on the RWTH HPC cluster.
Definition at line 10 of file PresetSettings.h.
| std::string benchmax::settings::PresetSettings::rwth_slurm_name |
Name for this job.
Definition at line 12 of file PresetSettings.h.