SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
NewGBPPSettings.h
Go to the documentation of this file.
1 #pragma once
2 
3 namespace smtrat {
4  struct NewGBPPSettings1 {
5  static constexpr auto moduleName = "NewGBPPModule<NewGBPPSettings1>";
6  };
7 }
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10
smtrat::NewGBPPSettings1::moduleName
static constexpr auto moduleName
Definition: NewGBPPSettings.h:5