SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Attributes
smtrat::mcsat::vs::DefaultSettings Struct Reference

#include <ExplanationGenerator.h>

Static Public Attributes

static const bool reduceConflictConstraints = true
 
static const bool clause_chain_with_equivalences = false
 

Detailed Description

Definition at line 12 of file ExplanationGenerator.h.

Field Documentation

◆ clause_chain_with_equivalences

const bool smtrat::mcsat::vs::DefaultSettings::clause_chain_with_equivalences = false
static

Definition at line 14 of file ExplanationGenerator.h.

◆ reduceConflictConstraints

const bool smtrat::mcsat::vs::DefaultSettings::reduceConflictConstraints = true
static

Definition at line 13 of file ExplanationGenerator.h.

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