diff options
Diffstat (limited to 'src/parser/smt1/smt1.cpp')
| -rw-r--r-- | src/parser/smt1/smt1.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/parser/smt1/smt1.cpp b/src/parser/smt1/smt1.cpp index c4e670f6d..9a6d880e9 100644 --- a/src/parser/smt1/smt1.cpp +++ b/src/parser/smt1/smt1.cpp @@ -53,6 +53,7 @@ std::unordered_map<std::string, Smt1::Logic> Smt1::newLogicMap() { logicMap["QF_UFNIRA"] = QF_UFNIRA; logicMap["QF_AUFLIA"] = QF_AUFLIA; logicMap["QF_AUFLIRA"] = QF_AUFLIRA; + logicMap["SAT"] = SAT; logicMap["UFNIA"] = UFNIA; logicMap["UFNIRA"] = UFNIRA; logicMap["UFLRA"] = UFLRA; @@ -205,6 +206,9 @@ void Smt1::setLogic(const std::string& name) { case QF_SAT: /* no extra symbols needed */ break; + case SAT: + addTheory(THEORY_QUANTIFIERS); + break; case QF_UFIDL: case QF_UFLIA: |