SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Structures
smtrat::settings Namespace Reference

Data Structures

struct  CoreSettings
 
struct  SolverSettings
 
struct  ModuleSettings
 
struct  Settings